Modal Fixed Point Logics

Jäger, Gerhard (2010). Modal Fixed Point Logics. In: Esparza, Javier; Spanfelner, Bernd; Grumberg, Orna (eds.) Logics and Languages for Reliability and Security. NATO Science for Peace and Security Series. D: Information and Communication Security: Vol. 25 (pp. 129-154). IOS Press 10.3233/978-1-60750-100-8-129

Full text not available from this repository.

Item Type:

Book Section (Book Chapter)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)

UniBE Contributor:

Jäger, Gerhard Max

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Series:

NATO Science for Peace and Security Series. D: Information and Communication Security

Publisher:

IOS Press

Language:

English

Submitter:

Factscience Import

Date Deposited:

04 Oct 2013 14:17

Last Modified:

05 Dec 2022 14:04

Publisher DOI:

10.3233/978-1-60750-100-8-129

URI:

https://boris.unibe.ch/id/eprint/4976 (FactScience: 209640)

Actions (login required)

Edit item Edit item
Provide Feedback