Found 6 Documents (Results 1–6)
The complexity of model checking multi-stack systems. (English) Zbl 1366.68164
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 163-172 (2013).
Dynamic logic model of time axes in temporal database. (Chinese. English summary) Zbl 1224.68028
Separation – past, present, and future. (English) Zbl 1272.03091
Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. London: College Publications (ISBN 1-904987-12-5/pbk; 1-904987-26-5/hbk). Tributes 2, 117-142 (2005).
MSC:
03B44
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. (English) Zbl 1014.03006
Oxford Logic Guides. 40. New York, NY: Oxford University Press. xiv, 597 p. (2000).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (2)
- Books (1)
all
top 5
Author
- Bollig, Benedikt (2)
- Kuske, Dietrich (2)
- Mennicke, Roy (2)
- Reynolds, Mark Alexander (2)
- Finger, Marcelo (1)
- Gabbay, Dov M. (1)
- Hodkinson, Ian Martin (1)
- Liu, Dongning (1)
- Suzuki, Yasuhito (1)
- Tang, Yong (1)
Serial
- Theory Comput. Syst. (1)
- RIMS Kokyuroku (1)
- J. Softw. (1)
- Oxf. Logic Guides (1)
Software
- CafeOBJ (1)