The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 61
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
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
more ...
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
less ...
Published 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
more ...
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
less ...
Publisher
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
more ...
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
less ...
Language
Content Provider
Year of Publication
Filter