Sortiert nach
Software and systems modeling, 2023-04, Vol.22 (2), p.473-494
2023
Link zum Volltext
Journal of Formalized Reasoning, 2019-01, Vol.12 (1), p.11-51
2019
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019-10, Vol.307 (Proc. LFMTP 2019), p.8-23
2019
Link zum Volltext
Formal Aspects of Component Software, p.44-62
Link zum Volltext
Logical methods in computer science, 2009-08, Vol.5, Issue 3
2009
Link zum Volltext
Lecture notes in computer science, 2004, p.136-150
2004
Link zum Volltext
Information and computation, 1996-05, Vol.127 (1), p.11-25
1996
Link zum Volltext
Theoretical computer science, 2006-02, Vol.351 (1), p.39-51
2006
Link zum Volltext
Theoretical computer science, 2008-05, Vol.398 (1), p.150-169
2008
Link zum Volltext
Foundations of Software Science and Computation Structures, p.337-352
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
Theoretical computer science, 1999-06, Vol.221 (1-2), p.295-326
1999
Link zum Volltext
Recent Trends in Algebraic Development Techniques, p.119-134
Link zum Volltext
Lecture notes in computer science, 2001, p.106-120
2001
Link zum Volltext
Computer Science Logic, 2004, p.130-144
2004
Link zum Volltext
CONCUR 2010 - Concurrency Theory, p.358-372
Link zum Volltext
Lecture notes in computer science, 2000, p.429-441
2000
Link zum Volltext
1, 2013
Link zum Volltext
Typed Lambda Calculi and Applications, 2005, p.124-138
2005
Link zum Volltext
Mathematical Foundations of Computer Science 1993, 2005, p.413-422
2005
Link zum Volltext
Foundations of Software Science and Computational Structures, p.334-349
Link zum Volltext
Lecture notes in computer science, 1997, p.121-131
1997
Link zum Volltext
Theoretical computer science, 2008, Vol.398 (1-3), p.150-169
2008
Link zum Volltext
Lecture notes in computer science, 2003, Vol.2646, p.148-161
2003
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics
- Theoretical Computing
- Computer Science, Software Engineering
- Physical Sciences
- Algorithmics. Computability. Computer Arithmetics
- Mathematics, Applied
- Domain Theory
- Sciences And Techniques Of General Use
- Abstract Data Types
- Denotational And Operational Semantics
- Denotational Semantic
- Game Model
- Label Transition System
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- NUS Single-Journal Subscriptions
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- American Physical Society
- APS Digital Backfile Archive (DFG Nationallizenzen)
- Oxford Journals Online Current
- Oxford Journals 2020 Medicine
- IngentaConnect Journals
- Ovid SocietyJournals and Single Titles
- AIP - American Institute of Physics : Revues
- Springer journals
- PROLA - Physical Review Online Archive
Zeitschrift / Serie
- Theoretical Computer Science
- Blood
- Journal Of Object Technology
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Foundations Of Software Science And Computation Structures, Proceedings
- Human Reproduction Update
- Information And Computation
- Journal Of Formalized Reasoning