| ||
76. | Reasoning about Epistemic States of Agents by Modal Logic Programming
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 3900 r. 2006, str. 37-56 (Artykuł konferencyjny) Anh Linh Nguyen | |
77. | The Data Complexity of MDatalog in Basic Modal Logics
LECTURE NOTES IN COMPUTER SCIENCE Tom 4162 r. 2006, str. 729-740 (Artykuł konferencyjny) Anh Linh Nguyen | |
78. | Unions of Equational Monadic Theories
LECTURE NOTES IN COMPUTER SCIENCE Tom 4098 r. 2006, str. 81-95 (Artykuł konferencyjny) Piotr Hoffman | |
79. | A self-dependency constraint in the simply typed lambda calculus
LECTURE NOTES IN COMPUTER SCIENCE Tom 3623 r. 2005, str. 352-364 (Artykuł konferencyjny) Aleksy Schubert | |
80. | A Simple Refinement Language for CASL
LECTURE NOTES IN COMPUTER SCIENCE Tom 3423 r. 2005, str. 162-185 (Artykuł konferencyjny) Till Mossakowski, Don Sannella, Andrzej Tarlecki | |
81. | A Tableau System with Automaton-Labelled Formulae for Regular Grammar Logics
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 3702 r. 2005, str. 138-152 (Artykuł konferencyjny) Rajeev Gore, Anh Linh Nguyen | |
82. | Alternating Timed Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 3441 r. 2005, str. 250-265 (Artykuł konferencyjny) Sławomir Lasota, Igor Walukiewicz | |
83. | Amalgamation in the semantics of CASL
THEORETICAL COMPUTER SCIENCE Tom 331 r. 2005, str. 215-247 (Artykuł) Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartosz Klin | |
84. | An SLD-Resolution Calculus for Basic Serial Multimodal Logics
LECTURE NOTES IN COMPUTER SCIENCE Tom 3722 r. 2005, str. 151-165 (Artykuł konferencyjny) Anh Linh Nguyen | |
85. | Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs
LECTURE NOTES IN COMPUTER SCIENCE Tom 95 Nr 2 r. 2005, str. 363-369 (Artykuł) Anh Linh Nguyen, Rajeev Gore | |
86. | Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP
LECTURE NOTES IN COMPUTER SCIENCE Tom 3653 r. 2005, str. 263-277 (Artykuł konferencyjny) Sławomir Lasota, Sibylle Froeschle | |
87. | On Modal Deductive Databases
LECTURE NOTES IN COMPUTER SCIENCE Tom 3631 r. 2005, str. 43-57 (Artykuł konferencyjny) Anh Linh Nguyen | |
88. | Petri Net + Nested Relational Calculus = Dataflow
LECTURE NOTES IN COMPUTER SCIENCE Tom 3760 r. 2005, str. 220-237 (Artykuł konferencyjny) Jan Hidders, Natalia Kwasnikowska, Sławomir Lasota, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
89. | Position Emission Tomography by Markov Chain Monte Carlo with Auxiliary Variables
PATTERN RECOGNITION Tom 38 Nr 2 r. 2005, str. 241-250 (Artykuł) Jacek Koronacki, Sławomir Lasota, Wojciech Niemiro | |
90. | Property-Preserving Redesign of Specifications
LECTURE NOTES IN COMPUTER SCIENCE Tom 3629 r. 2005, str. 439-455 (Artykuł konferencyjny) Piotr Kosiuczenko, Grzegorz Marczyński, Artur Zawłocki | |
91. | Union of Equational Theories: An Algebraic Approach
LECTURE NOTES IN COMPUTER SCIENCE Tom 3467 r. 2005, str. 61-73 (Artykuł konferencyjny) Piotr Hoffman | |
92. | Unsafe Grammars and Panic Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 3580 r. 2005, str. 1450-1461 (Artykuł konferencyjny) Teodor Knapik, Damian Niwiński, Paweł Urzyczyn, Igor Walukiewicz | |
93. | The Modal Logic Programming System MProlog
LECTURE NOTES IN COMPUTER SCIENCE Tom 3299 r. 2004, str. 266-278 (Artykuł konferencyjny) Anh Linh Nguyen | |
94. | A Simple Refinement Language for CASL
LECTURE NOTES IN COMPUTER SCIENCE Tom 3423 r. 2004, str. 162-185 (Artykuł konferencyjny) Till Mossakowski, Don Sannella, Andrzej Tarlecki | |
95. | Architectural Specification Calculus
LECTURE NOTES IN COMPUTER SCIENCE Tom 2960 r. 2004, str. 329-356 (Artykuł) Piotr Hoffman | |
96. | Architectural Specifications for Reactive Systems
LECTURE NOTES IN COMPUTER SCIENCE Tom 3423 r. 2004, str. 249-266 (Artykuł konferencyjny) Artur Zawłocki | |
97. | CASL Semantics
LECTURE NOTES IN COMPUTER SCIENCE Tom 2960 r. 2004, str. 115-273 (Artykuł konferencyjny) Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter Mosses, Don Sannella, Andrzej Tarlecki | |
98. | Complete lax logical relations for cryptographic lambda-calculi
LECTURE NOTES IN COMPUTER SCIENCE Tom 3210 r. 2004, str. 400-414 (Artykuł konferencyjny) Jean Goubault-Larrecq, Sławomir Lasota, David Nowak, Yu Zhang | |
99. | Editorial
INFORMATION PROCESSING LETTERS Tom 90 r. 2004, str. 1-2 (Inne) Andrzej Tarlecki | |
100. | Foundations. In: CASL User Manual
LECTURE NOTES IN COMPUTER SCIENCE Tom 2900 r. 2004, str. 125-129 (Artykuł) Don Sannella, Andrzej Tarlecki |