Notes on the Space Requirement for Checking Satisfiability in Modal Logics

Kracht M (2003)
In: Advances in Modal Logic 4. Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M (Eds); King's College Publications: 243-264.

Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Konferenzbeitrag | Veröffentlicht | Englisch
Herausgeber
; ; ;
Erscheinungsjahr
Titel des Konferenzbandes
Advances in Modal Logic 4
Seite
243-264
PUB-ID

Zitieren

Kracht M. Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In: Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M, eds. Advances in Modal Logic 4. King's College Publications; 2003: 243-264.
Kracht, M. (2003). Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In P. Balbiani, N. - Y. Suzuki, F. Wolter, & M. Zakharyaschev (Eds.), Advances in Modal Logic 4 (pp. 243-264). King's College Publications.
Kracht, M. (2003). “Notes on the Space Requirement for Checking Satisfiability in Modal Logics” in Advances in Modal Logic 4, Balbiani, P., Suzuki, N. - Y., Wolter, F., and Zakharyaschev, M. eds. (King's College Publications), 243-264.
Kracht, M., 2003. Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In P. Balbiani, et al., eds. Advances in Modal Logic 4. King's College Publications, pp. 243-264.
M. Kracht, “Notes on the Space Requirement for Checking Satisfiability in Modal Logics”, Advances in Modal Logic 4, P. Balbiani, et al., eds., King's College Publications, 2003, pp.243-264.
Kracht, M.: Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., and Zakharyaschev, M. (eds.) Advances in Modal Logic 4. p. 243-264. King's College Publications (2003).
Kracht, Marcus. “Notes on the Space Requirement for Checking Satisfiability in Modal Logics”. Advances in Modal Logic 4. Ed. Philippe Balbiani, Nobo-Yuki Suzuki, Frank Wolter, and Michael Zakharyaschev. King's College Publications, 2003. 243-264.

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Suchen in

Google Scholar