Sortiert nach
Annals of pure and applied logic, 2012-07, Vol.163 (7), p.789-808
2012
Link zum Volltext
Annals of pure and applied logic, 2009-12, Vol.161 (3), p.337-348
2009
Link zum Volltext
Logical methods in computer science, 2007-08, Vol.3, Issue 3
2007
Link zum Volltext
Logical Foundations of Computer Science, p.365-379
Link zum Volltext
Automated Reasoning, 2006, p.162-176
2006
Link zum Volltext
Logical methods in computer science, 2008-09, Vol.4, Issue 3
2008
Link zum Volltext
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007, p.23-34
2007
- Link zum Volltext
Logical Foundations of Computer Science, p.147-161
Link zum Volltext
Lecture notes in computer science, 2005, p.338-352
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Logic
- Mathematics
- Science & Technology - Other Topics
- Physical Sciences
- Applied Sciences
- Computer Science - Logic In Computer Science
- Computer Science; Control Theory; Systems
- Constructive Set Theory
- Exact Sciences And Technology
- F.4.1
- Mathematics, Applied
- Theoretical Computing
- Type Theory
- Application Software
- Automated Reasoning
- Buildings
Kollektion
Zeitschrift / Serie