Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Middeldorp, Aart. (Editor, http://id.loc.gov/vocabulary/relators/edt), van Oostrom, Vincent. (Editor, http://id.loc.gov/vocabulary/relators/edt), van Raamsdonk, Femke. (Editor, http://id.loc.gov/vocabulary/relators/edt), de Vrijer, Roel. (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Edition: | 1st ed. 2005. |
Series: | Theoretical Computer Science and General Issues ;
3838 |
Subjects: | |
Online Access: | https://doi.org/10.1007/11601548 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Conditionals and Modularity in General Logics
by: Gabbay, Dov M., et al.
Published: (2011) -
Reactive Kripke Semantics
by: Gabbay, Dov M., et al.
Published: (2013) -
Agent Technology from a Formal Perspective
Published: (2006) -
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
by: Carnielli, Walter., et al.
Published: (2008) -
Institution-independent Model Theory
by: Diaconescu, Razvan., et al.
Published: (2008)