Sortiert nach
1, 2013
Link zum Volltext
Typed Lambda Calculi and Applications, 2005, p.249-265
2005
Link zum Volltext
Theoretical computer science, 1999-02, Vol.212 (1), p.183-209
1999
Link zum Volltext
Foundations of Software Science and Computational Structures, p.334-349
Link zum Volltext
Electronic notes in theoretical computer science, 2007-04, Vol.172, p.399-436
2007
Link zum Volltext
Journal of automated reasoning, 1992-12, Vol.9 (3), p.309-354
1992
Link zum Volltext
Foundation of Software Science and Computation Structures, 2000, Vol.1784, p.161-176
2000
Link zum Volltext
Typed Lambda Calculi and Applications, p.114-128
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Technology
- Combinatory Logic
- Computer Science, Software Engineering
- Mathematics
- Binary Relation
- Calculus, Lambda
- Combinatory Logic And Lambda-Calculus {mathematics}
- Computation And Language
- Computers
- Computers Machine Theory
- Dependent-Type Systems
- Divergent Term
- Edinburgh Logical Framework
- Formal Systems
- Game Model
- Game Semantic
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge University Press online books
- Cambridge Core All Books
- Journals@Ovid Complete
- Springer Books
- SpringerLink Journals - AutoHoldings
Zeitschrift / Serie