Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 936
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
semantics of programming languages
281
acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages
148
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
124
acm: f.: theory of computation
122
f.3.2: semantics of programming languages
122
f.3: logics and meanings of programs
122
mehr ...
[info.info-pl]computer science [cs]/programming languages [cs.pl]
80
[info.info-lo]computer science [cs]
75
logic in computer science [cs.lo]
75
02 engineering and technology
71
01 natural sciences
70
0202 electrical engineering, electronic engineering, information engineering
70
0102 computer and information sciences
67
[math.math-lo]mathematics [math]/logic [math.lo]
60
categories and subject descriptors
59
f.3.2 [logics and meanings of programs
56
f.3.2 [semantics of programming languages
52
languages
52
theory
52
[info.info-pl]computer science [cs]
50
programming languages [cs.pl]
50
concurrent programming
49
denotational semantics
45
program analysis
45
specifying and verifying and reasoning about programs
44
linear logic
42
lambda calculus
41
[info]computer science [cs]
40
abstract interpretation
40
acm: d.: software
38
weniger ...
Veröffentlicht in
theoretical computer science
20
acm transactions on programming languages and systems
11
electronic proceedings in theoretical computer science
8
logical methods in computer science
7
science of computer programming
7
electronic notes in theoretical computer science
6
mehr ...
issn: 0164-0925
6
computer languages
4
https://hal.archives-ouvertes.fr/hal-02977750 ; 2021
4
issn: 0960-1295
4
acm transactions on programming languages and systems (toplas)
3
cf '15: proceedings of the 12th acm international conference on computing frontiers ; proceedings of the 12th acm international conference on computing frontiers (cf'15) ; https://hal.science/hal-03972769 ; proceedings of the 12th acm international conference on computing frontiers (cf'15), may 2015, ischia, italy. pp.1-2
3
fundamenta informaticae
3
grammars
3
https://inria.hal.science/inria-00073660 ; [research report] rr-3033, inria. 1996
3
ieee transactions on software engineering
3
ieee/acm logic in computer science (lics) 2016 ; https://hal.science/hal-01261955 ; ieee/acm logic in computer science (lics) 2016, jun 2016, new york, united states
3
information and computation
3
issn: 0022-0000
3
issn: 0956-7968
3
journal of universal computer science
3
times higher education supplement
3
27th international conference on concurrency theory (concur 2016)
2
acm transactions on computational logic
2
computers & mathematics with applications
2
eissn: 1860-5974 ; logical methods in computer science
2
formal methods in system design
2
ifip transactions c-communication systems
2
information processing letters
2
issn: 0304-3975
2
weniger ...
Verlag
ccsd
270
hal ccsd
128
acm
42
springer
35
elsevier bv
31
schloss dagstuhl - leibniz-zentrum fur informatik
31
mehr ...
elsevier
24
acm press
17
eptcs
17
logical methods in computer science association
17
association for computing machinery (acm)
13
eth zurich
13
cambridge university press (cup)
10
association for computing machinery
9
schloss dagstuhl--leibniz-zentrum fuer informatik
9
springer science and business media llc
9
kth, teoretisk datalogi, tcs
8
springer international publishing
8
springer nature
8
springer nature switzerland
8
springer-verlag
8
universitat stuttgart
8
elsevier science bv
7
ieee computer society
7
schloss dagstuhl - leibniz-zentrum fuer informatik
7
elsevier b.v.
6
open publishing association
6
springer berlin heidelberg
6
schloss dagstuhl
5
elsevier ltd
4
weniger ...
Sprache
Geographischer Bezug
Treffer aus
BASE
506
OpenAIRE
172
HAL
157
OAIster
35
Science Citation Index Expanded
23
ScienceDirect
11
mehr ...
Europeana
7
Springer Nature Journals
7
OpenDissertations
6
OAPEN Library
2
Directory of Open Access Books
2
GBV Online Contents
1
Academic Search Index
1
arXiv
1
Library, Information Science & Technology Abstracts
1
Digital Access to Scholarship at Harvard (DASH)
1
PASCAL Archive
1
Education Research Complete
1
RCAAP
1
weniger ...
Erscheinungsjahr
Filter