Sortiert nach
1, 2001
Link zum Volltext
Logical methods in computer science, 2011-09, Vol.7, Issue 3
2011
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
New media & society, 2019-08, Vol.21 (8), p.1859-1876
2019
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-07, Vol.185 (Proc. LFMTP 2015), p.3-17
2015
Link zum Volltext
The Information society, 2018-05, Vol.34 (3), p.141-152
2018
Link zum Volltext
Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1578-1605
2018
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, 2009-08, Vol.5, Issue 3
2009
Link zum Volltext
Logical methods in computer science, 2017-02
2017
Link zum Volltext
Information and computation, 2002-10, Vol.178 (1), p.23-43
2002
Link zum Volltext
Theoretical computer science, 1999-02, Vol.212 (1), p.183-209
1999
Link zum Volltext
Logical methods in computer science, 2017-07, Vol.13, Issue 3
2017
Link zum Volltext
Information and computation, 2002-10, Vol.178 (1), p.23-43
2002
Link zum Volltext
2001
Link zum Volltext
2014
Link zum Volltext
Theoretical computer science, 2008-05, Vol.398 (1), p.150-169
2008
Link zum Volltext
Information and computation, 2009-05, Vol.207 (5), p.583-594
2009
Link zum Volltext
Theoretical computer science, 2003, Vol.290 (1), p.599-635
2003
Link zum Volltext
RAIRO. Informatique théorique et applications, 2012-04, Vol.46 (2), p.231-259
2012
Link zum Volltext
Information and computation, 2009, Vol.207 (5), p.583-594
2009
Link zum Volltext
Programming Languages and Systems, p.229-250
Link zum Volltext
Journal of object technology, 2021, Vol.20 (2), p.4
2021
Link zum Volltext
Journal of object technology, 2020-12, Vol.20 (4), p.1-24
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Logic
- Logical Frameworks
- Physical Sciences
- Theoretical Computing
- Type Theory
- Computation And Language
- Congresses
- Logic In Computer Science
- Science & Technology - Other Topics
- Logics And Meanings Of Programs
- Mathematical Logic And Formal Languages
- Mathematics, Applied
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLink Series
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Journals@Ovid Complete
- SpringerLink
- JSTOR Complete Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
- Wiley Online Library
- NUS Single-Journal Subscriptions
- Oxford University Press Journals Current
- IngentaConnect Journals
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Mathematical Structures In Computer Science
- Theoretical Computer Science
- Logical Methods In Computer Science
- Information And Computation
- Acm Sigact News
- Journal Of Logic And Computation
- Proceedings Of Acm On Programming Languages
- Sigact News
- Annals Of Pure And Applied Logic
Neu hinzugefügt