![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 96
Volume 96, Number 1, 1992
- Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems. 3-33 - Madhavan Mukund, P. S. Thiagarajan:
A Logical Characterization of Well Branching Event Structures. 35-72 - José Meseguer:
Conditioned Rewriting Logic as a United Model of Concurrency. 73-155 - Julian C. Bradfield, Colin Stirling:
Local Model Checking for Infinite State Spaces. 157-174 - Eike Best, Maciej Koutny:
Petri Net Semantics of Priority Systems. 175-174 - Gérard Berry, Gérard Boudol:
The Chemical Abstract Machine. 217-248 - Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Observational Structures and Their Logics. 249-283
Volume 96, Number 2, 1992
- Vijay K. Garg, M. T. Ragunath:
Concurrent Regular Expressions and Their Relationship to Petri Nets. 285-304 - Dung T. Huynh:
Nonuniform Complexity and the Randomness of Certain Complete Languages. 305-324 - Masami Ito, Helmut Jürgensen, Huei-Jan Shyr, Gabriel Thierrin:
Languages Whose n-Element Subsets Are Codes. 325-344 - Rana Barua:
The Hausdorff-Kuratowski Hierarchy of omega-Regular Languages and a Hierarchy of Muller Automata. 345-360 - Thane E. Plambeck:
Daisies, Kayles, and the Silbert-Conway Decomposition in Misère Octal Games. 361-388 - Thomas S. Ferguson:
Mate with Bishop and Knight in Kriegspiel. 389-403 - Gérard Duchamp, Daniel Krob:
On the Partially Commutative Shuffle Product. 405-410 - Anna Slobodová:
Some Properties of Space-Bounded Synchronized Alternating Turin Machines with Universal States ONly. 411-419
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.