Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 96

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 96, Number 1, 1992

Selected Papers of the Second Workshop on Concurrency and Compostionality, San Miniato, Italy, March 1990

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NielsenRT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NielsenRT92
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems. 3-33
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MukundT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MukundT92
Madhavan Mukund, P. S. Thiagarajan:
A Logical Characterization of Well Branching Event Structures. 35-72
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Meseguer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Meseguer92
José Meseguer:
Conditioned Rewriting Logic as a United Model of Concurrency. 73-155
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BradfieldS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BradfieldS92
Julian C. Bradfield, Colin Stirling:
Local Model Checking for Infinite State Spaces. 157-174
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BestK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BestK92
Eike Best, Maciej Koutny:
Petri Net Semantics of Priority Systems. 175-174
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BerryB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BerryB92
Gérard Berry, Gérard Boudol:
The Chemical Abstract Machine. 217-248
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AstesianoGR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AstesianoGR92
Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Observational Structures and Their Logics. 249-283

Volume 96, Number 2, 1992

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GargR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GargR92
Vijay K. Garg, M. T. Ragunath:
Concurrent Regular Expressions and Their Relationship to Petri Nets. 285-304
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Huynh92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Huynh92
Dung T. Huynh:
Nonuniform Complexity and the Randomness of Certain Complete Languages. 305-324
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ItoJST92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ItoJST92
Masami Ito, Helmut Jürgensen, Huei-Jan Shyr, Gabriel Thierrin:
Languages Whose n-Element Subsets Are Codes. 325-344
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Barua92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Barua92
Rana Barua:
The Hausdorff-Kuratowski Hierarchy of omega-Regular Languages and a Hierarchy of Muller Automata. 345-360
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Plambeck92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Plambeck92
Thane E. Plambeck:
Daisies, Kayles, and the Silbert-Conway Decomposition in Misère Octal Games. 361-388
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Ferguson92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ferguson92
Thomas S. Ferguson:
Mate with Bishop and Knight in Kriegspiel. 389-403
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DuchampK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DuchampK92
Gérard Duchamp, Daniel Krob:
On the Partially Commutative Shuffle Product. 405-410
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Slobodova92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Slobodova92
Anna Slobodová:
Some Properties of Space-Bounded Synchronized Alternating Turin Machines with Universal States ONly. 411-419

a service of

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.