Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Journal of the ACM, 1993-01, Vol.40 (1), p.143-184
1993
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-07, Vol.185 (Proc. LFMTP 2015), p.3-17
2015
Volltextzugriff (PDF)
Logical methods in computer science, 2009-08, Vol.5, Issue 3
2009
Volltextzugriff (PDF)
Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1578-1605
2018
Volltextzugriff (PDF)
Journal of logic and computation, 2016-02, Vol.26 (1), p.293-335
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2017-02
2017
Volltextzugriff (PDF)
Information and computation, 2009-05, Vol.207 (5), p.583-594
2009
Volltextzugriff (PDF)
Programming Languages and Systems, p.229-250
Volltextzugriff (PDF)
Theoretical computer science, 2008-05, Vol.398 (1), p.150-169
2008
Volltextzugriff (PDF)
RAIRO. Informatique théorique et applications, 2012-04, Vol.46 (2), p.231-259
2012
Volltextzugriff (PDF)
Mathematical Foundations of Computer Science 2012, p.503-515
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.300-316
Volltextzugriff (PDF)
Theoretical computer science, 2001, Vol.253 (2), p.239-285
2001
Volltextzugriff (PDF)
Journal of functional programming, 2006-05, Vol.16 (3), p.327-372
2006
Volltextzugriff (PDF)
Automata, Languages and Programming, 2001, p.963-978
2001
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.324-337
2004
Volltextzugriff (PDF)
Journal of object technology, 2020-12, Vol.20 (4), p.1-24
2020
Volltextzugriff (PDF)
Types for Proofs and Programs, p.69-84
Volltextzugriff (PDF)
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, 2013, p.37-42
2013
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, 2001, p.168-183
2001
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.242-258
2004
Volltextzugriff (PDF)
Recent Trends in Algebraic Development Techniques, p.119-134
Volltextzugriff (PDF)
Mathematical structures in computer science, 2007-08, Vol.17 (4), p.647-673
2007
Volltextzugriff (PDF)
Types for Proofs and Programs, p.100-109
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Computation And Language
- Exact Sciences And Technology
- Logic In Computer Science
- Applied Sciences
- Computer Science, Software Engineering
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Lambda Calculus
- Logic
- Mathematics, Applied
- Type Theory
- Natural Deduction
- Science & Technology - Other Topics
- Language Theory And Syntactical Analysis
Kollektion
- Ingenta Connect
- SpringerLink Series
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Wiley Online Library Journals Frontfile Complete
- Ebook Central Perpetual and DDA
- Oxford University Press Journals Current
- eBooks on EBSCOhost
- IngentaConnect Journals
- Wiley Online Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- NUS Single-Journal Subscriptions
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Journal Of Logic And Computation
- Logical Methods In Computer Science
- Mathematical Structures In Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Computer And System Sciences
- Journal Of Functional Programming