Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 61
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
abstract syntax
8
01 natural sciences
6
02 engineering and technology
6
0202 electrical engineering, electronic engineering, information engineering
6
computer science - logic in computer science
6
0102 computer and information sciences
5
mehr ...
set theory
5
applied sciences
4
computer science
4
computer science; control theory; systems
4
exact sciences and technology
4
informatique
4
informatique theorique
4
informatique; automatique theorique; systemes
4
lambda calculus
4
sciences appliquees
4
sciences exactes et technologie
4
structural induction
4
theoretical computing
4
alpha-conversion
3
bc1-199
3
category theory
3
electronic computers. computer science
3
lambda-calcul
3
language theory and syntactical analysis
3
logic
3
qa75.5-76.95
3
semantics
3
sintaxis
3
syntax
3
weniger ...
Veröffentlicht in
formal aspects of computing
3
theoretical computer science
3
higher-order and symbolic computation
2
lecture notes in computer science
2
lics
2
logical methods in computer science
2
mehr ...
mathematical structures in computer science
2
typed lambda calculi & applications (9783642022722)
2
2013 28th annual acm/ieee symposium on logic in computer science
1
applied semantics: selected topics
1
arxiv
1
corr
1
formal aspects comput.
1
formal aspects of computing : the internat. journal of formal methods
1
formal aspects of computing: applicable formal methods
1
logical methods in computer science, vol volume 6, issue 3 (2010
1
math. struct. comput. sci.
1
mfcs
1
mfcs 2000 : mathematical foundations of computer science (bratislava, 28 august - 1 september 2000)
1
proceedings 14th symposium on logic in computer science (cat no pr00158)
1
proceedings. 14th symposium on logic in computer science (cat. no. pr00158)
1
second acm sigplan workshop mechanized reasoning about languages with variable and names (merλin 2003)
1
weniger ...
Verlag
acm
3
logical methods in computer science e.v.
3
springer
3
springer berlin heidelberg
3
association for computing machinery (acm)
2
cambridge university press (cup)
2
mehr ...
country:usa
2
elsevier b.v.
2
hal ccsd
2
ieee
2
ieee comput. soc
2
place:new york
2
springer nature
2
arxiv
1
association for computing machinery
1
cambridge univ press
1
centre pour la communication scientifique directe (ccsd)
1
elsevier
1
ieee computer science press
1
kluwer academic publishers
1
lipics - leibniz international proceedings in informatics. 6th international conference on formal structures for computation and deduction (fscd 2021)
1
springer-verlag
1
weniger ...
Sprache
Treffer aus
Erscheinungsjahr
Filter