Sortiert nach
Information processing letters, 2019-05, Vol.145, p.68-73
2019
Link zum Volltext
Information processing letters, 2015-04, Vol.115 (4), p.515-519
2015
Link zum Volltext
Information processing letters, 2002-09, Vol.83 (5), p.251-261
2002
Link zum Volltext
Theoretical computer science, 2016-01, Vol.610, p.91-107
2016
Link zum Volltext
Theoretical computer science, 2001, Vol.256 (1), p.63-92
2001
Link zum Volltext
Logical methods in computer science, 2019-12, Vol.15 (4)
2019
Link zum Volltext
Reachability Problems, p.190-202
Link zum Volltext
Automata, Languages and Programming, p.441-452
Link zum Volltext
SOFSEM 2024: Theory and Practice of Computer Science, p.456-470
Link zum Volltext
CONCUR 2004 - Concurrency Theory, 2004, p.387-401
2004
Link zum Volltext
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008, p.205-216
2008
- Link zum Volltext
Lecture notes in computer science, 1998, p.103-115
1998
Link zum Volltext
Theoretical computer science, 2006-03, Vol.353 (1), p.249-271
2006
Link zum Volltext
14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007, p.5-5
2007
- Link zum Volltext
Journal of computer and system sciences, 2006, Vol.72 (4), p.547-575
2006
Link zum Volltext
Theoretical computer science, 2002-03, Vol.274 (1), p.89-115
2002
Link zum Volltext
Information and computation, 2005-11, Vol.202 (2), p.141-165
2005
Link zum Volltext
Information processing letters, 2004-04, Vol.90 (1), p.3-6
2004
Link zum Volltext
CONCUR '91, 2005, p.480-494
2005
Link zum Volltext
Theoretical computer science, 2001, Vol.256 (1-2), p.63-92
2001
Link zum Volltext
Theoretical computer science, 2003, Vol.297 (1), p.297-315
2003
Link zum Volltext
Foundations of Software Science and Computational Structures, p.97-111
Link zum Volltext
Application and Theory of Petri Nets 1992, 2005, p.45-61
2005
Link zum Volltext
Information and computation, 2000, Vol.156 (1-2), p.236-263
2000
Link zum Volltext
Theoretical computer science, 1995-09, Vol.148 (2), p.303-324
1995
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Mathematics
- Automata. Abstract Machines. Turing Machines
- Logic In Computer Science
- Computer Science, Software Engineering
- Physical Sciences
- Reachability Problem
- Sciences And Techniques Of General Use
- Computer Science, Information Systems
- Language Theory And Syntactical Analysis
- Mathematics, Applied
- Algorithmics. Computability. Computer Arithmetics
- Atomic Proposition
Kollektion
Zeitschrift / Serie
- Theoretical Computer Science
- Information Processing Letters
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Hal
- Journal Of Computer And System Sciences
- Journal Of Symbolic Computation
- Latin 2000: Theoretical Informatics
- Lecture Notes In Computer Science
- Logical Methods In Computer Science