|
|
|
|
IPI PAN Reports:
|
ISSN 0138-0648
|
|
|
997.
|
Maciej Orzechowski, Bożena Woźna, Tomasz Siwiak:
Towards verification of Java programs in VerICS
December 2006, pp. 34,
Abstract
|
|
996.
|
Elżbieta Hajnicz:
Syntaktyczna i semantyczna analiza wybranych konstrukcji języka polskiego za pomocą gramatyki Montague
[Syntactic and semantic analysis of particular polish constructions
by means of Montague grammar]
November 2006, pp. 156,
Abstract
|
|
995.
|
Elżbieta Hajnicz:
O poszukiwaniu jednorożców,
czyli sematyka możliwych światów
w gramatyce Montague
[Seeking unicorn: possible worlds semantics in Montague grammar]
November 2006, pp. 78,
Abstract
|
|
994.
|
Radosław Moszczyński:
Formalisms for encoding Polish multiword expressions
December 2006, pp. 40,
Abstract
|
|
993.
|
Łukasz Dębowski:
Ergodic decomposition of excess entropy
and conditional mutual information
April 2006, pp. 36,
Abstract
|
|
992.
|
Józef Winkowski:
Behaviour algebras
April 2006, pp. 37,
Abstract
|
|
991.
|
Gizela Jakubowska, Wojciech Penczek:
Veryfing Timed Properties of Security Protocols
March 2006, pp. 38.
|
|
990.
|
Agata Janowska, Paweł Janowski:
Slicing of Timed Automata with Discrete Data
February 2006, pp. 30,
Abstract
|
|
989.
|
Marek A. Bednarczyk:
Limits of Modularity
January 2006, pp. 22,
Abstract
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
