Sortiert nach
1, 2001
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019-10, Vol.307 (Proc. LFMTP 2019), p.8-23
2019
Link zum Volltext
Journal of Formalized Reasoning, 2019-01, Vol.12 (1), p.11-51
2019
Link zum Volltext
Journal of the ACM, 1993-01, Vol.40 (1), p.143-184
1993
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-07, Vol.185 (Proc. LFMTP 2015), p.3-17
2015
Link zum Volltext
Logical methods in computer science, 2011-09, Vol.7, Issue 3
2011
Link zum Volltext
New media & society, 2019-08, Vol.21 (8), p.1859-1876
2019
Link zum Volltext
The Information society, 2018-05, Vol.34 (3), p.141-152
2018
Link zum Volltext
Logical methods in computer science, 2009-08, Vol.5, Issue 3
2009
Link zum Volltext
2001
Link zum Volltext
Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1578-1605
2018
Link zum Volltext
2014
Link zum Volltext
Journal of logic and computation, 2016-02, Vol.26 (1), p.293-335
2016
Link zum Volltext
Logical methods in computer science, 2017-02
2017
Link zum Volltext
Information and computation, 2009-05, Vol.207 (5), p.583-594
2009
Link zum Volltext
Programming Languages and Systems, p.229-250
Link zum Volltext
Information and computation, 2009, Vol.207 (5), p.583-594
2009
Link zum Volltext
Logical methods in computer science, 2017-07, Vol.13, Issue 3
2017
Link zum Volltext
Theoretical computer science, 2008-05, Vol.398 (1), p.150-169
2008
Link zum Volltext
1, 2013
Link zum Volltext
RAIRO. Informatique théorique et applications, 2012-04, Vol.46 (2), p.231-259
2012
Link zum Volltext
Mathematical Foundations of Computer Science 2012, p.503-515
Link zum Volltext
Algebra and Coalgebra in Computer Science, p.300-316
Link zum Volltext
Theoretical computer science, 2001, Vol.253 (2), p.239-285
2001
Link zum Volltext
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, p.150-165
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Physical Sciences
- Theoretical Computing
- Logic
- Computation And Language
- Logic In Computer Science
- Logical Frameworks
- Computer Science, Software Engineering
- Mathematics, Applied
- Lambda Calculus
- Science & Technology - Other Topics
- Language Theory And Syntactical Analysis
- Type Theory
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- EZB Electronic Journals Library
- SpringerLink Series
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Full Text
- Cambridge Journals Online (DEFF)
- ACM Digital Library Complete
- Wiley Online Library
- Wiley Online Library
- Springer Nature - Complete Springer Journals
- IngentaConnect Journals
- Publisher or Other Site
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- EBSCOhost Business Source Ultimate
- Oxford University Press Journals Current
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Information And Computation
- Logical Methods In Computer Science
- Mathematical Structures In Computer Science
- Annals Of Pure And Applied Logic
- Annals Of The New York Academy Of Sciences
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Functional Programming