Modular Algorithms for Heterogeneous Modal Logics (English)
- New search for: Schroder, L.
- New search for: Pattinson, D.
- New search for: Schroder, L.
- New search for: Pattinson, D.
- New search for: Arge, L.
- New search for: Cachin, C.
- New search for: Jurdzinski, T.
- New search for: Tarlecki, A.
In:
Automata, Languages and Programming: 34th International Colloquium, ICALP 2007 Wroclaw, Poland, July 9-13, 2007 Proceedings
4596
;
459-471
;
2007
-
ISSN:
- Article (Journal) / Print
-
Title:Modular Algorithms for Heterogeneous Modal Logics
-
Contributors:Schroder, L. ( author ) / Pattinson, D. ( author ) / Arge, L. / Cachin, C. / Jurdzinski, T. / Tarlecki, A.
-
Published in:Automata, Languages and Programming: 34th International Colloquium, ICALP 2007 Wroclaw, Poland, July 9-13, 2007 Proceedings , 4596 ; 459-471LECTURE NOTES IN COMPUTER SCIENCE , 4596 ; 459-471
-
Publisher:
- New search for: SPRINGER-VERLAG
-
Publication date:2007-01-01
-
Size:13 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.