| ||
26. | BML and Related Tools
LECTURE NOTES IN COMPUTER SCIENCE Tom 5751 r. 2009, str. 278-297 (Artykuł konferencyjny) Aleksy Schubert, Jacek Chrz±szcz, Marieke Huisman | |
27. | Clausal Tableaux for Multimodal Logics of Belief
FUNDAMENTA INFORMATICAE Tom 94 Nr 1 r. 2009, str. 21-40 (Artykuł) Rajeev Gore, Anh Linh Nguyen | |
28. | Existential Type Systems with No Types in Terms
LECTURE NOTES IN COMPUTER SCIENCE Tom 5608 r. 2009, str. 112-126 (Artykuł) Ken-etsu Fujita, Aleksy Schubert | |
29. | EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system
INFORMATION PROCESSING LETTERS Tom 109 Nr 15 r. 2009, str. 850-855 (Artykuł) Sławomir Lasota | |
30. | ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC
LECTURE NOTES IN COMPUTER SCIENCE Tom 5796 r. 2009, str. 473-488 (Artykuł konferencyjny) Anh Linh Nguyen, Andrzej Szałas | |
31. | Factorization Forests
LECTURE NOTES IN COMPUTER SCIENCE Tom 5583 r. 2009, str. 1-17 (Artykuł konferencyjny) Mikołaj Bojańczyk | |
32. | Heterogeneous Logical Environments for Distributed Specifications
LECTURE NOTES IN COMPUTER SCIENCE Tom 5486 r. 2009, str. 266-289 (Artykuł konferencyjny) Till Mossakowski, Andrzej Tarlecki | |
33. | Inhabitation of Low-Rank Intersection Types
LECTURE NOTES IN COMPUTER SCIENCE Tom 5608 r. 2009, str. 356-370 (Artykuł) Paweł Urzyczyn | |
34. | Modal Logic Programming Revisited
JOURNAL OF APPLIED NON-CLASSICAL LOGICS Tom 19 Nr 2 r. 2009, str. 167-181 (Artykuł) Anh Linh Nguyen | |
35. | Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
Electronic Notes in Theoretical Computer Science Tom 239 r. 2009, str. 17-42 (Artykuł) Sibylle B. Fröschle, Sławomir Lasota | |
36. | On Subset Seeds for Protein Alignment
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS Tom 6 Nr 3 r. 2009, str. 483-494 (Artykuł) Mikhail A. Roytberg, Anna Gambin, Laurent Noé, Sławomir Lasota, Eugenia Furletova, Ewa Szczurek, Gregory Kucherov | |
37. | Partially-Commutative Context-Free Processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 5710 r. 2009, str. 259-273 (Artykuł) Wojciech Czerwiński, Sibylle B. Fröschle, Sławomir Lasota | |
38. | Preface
THEORETICAL COMPUTER SCIENCE Tom 410 Nr 18 r. 2009, str. (Artykuł) Lars Arge, Christian Cachin, Andrzej Tarlecki | |
39. | Preface
LECTURE NOTES IN COMPUTER SCIENCE Tom 5728 r. 2009, str. 6-8 (Inne) A. Kurz (Autor przedmowy), M. Lenisa (Autor przedmowy), Andrzej Tarlecki (Autor przedmowy) | |
40. | The Existential Fragment of the One-Step Parallel Rewriting Theory
LECTURE NOTES IN COMPUTER SCIENCE Tom 5595 r. 2009, str. 78-92 (Artykuł) Aleksy Schubert | |
41. | The Non-Interference Protection in BML
Electronic Notes in Theoretical Computer Science Tom 253 Nr 5 r. 2009, str. 113-127 (Artykuł) Aleksy Schubert, Daria Walukiewicz-Chrz±szcz | |
42. | Two-Way Unary Temporal Logic over Trees
[ LINK ]
LOGICAL METHODS IN COMPUTER SCIENCE Tom 5 Nr 3 r. 2009, str. 1-29 (Artykuł) Mikołaj Bojańczyk | |
43. | What is a Logic Translation?
LOGICA UNIVERSALIS Tom 3 r. 2009, str. 95-124 (Artykuł) R. Diaconescu, T. Mossakowski, Andrzej Tarlecki | |
44. | A Proof of Isbell's Zigzag Theorem
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY Tom 84 r. 2008, str. 229-232 (Artykuł) Piotr Hoffman | |
45. | Alternating timed automata
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Tom 9 Nr 2 r. 2008, str. (Artykuł) Sławomir Lasota, Igor Walukiewicz | |
46. | Consistency and Completeness of Rewriting in the Calculus of Constructions
COMPUTING RESEARCH REPOSITORY Tom abs/0806.1749 r. 2008, str. (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
47. | Consistency and completeness of rewriting in the Calculus of Constructions
LOGICAL METHODS IN COMPUTER SCIENCE Tom 4 Nr 3:8 r. 2008, str. 1-20 (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
48. | In the search of a naive type theory
LECTURE NOTES IN COMPUTER SCIENCE Tom 4941 r. 2008, str. 110-124 (Artykuł) Agnieszka Kozubek, Paweł Urzyczyn | |
49. | Logical Relations for Monadic Types
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Tom 18 Nr 6 r. 2008, str. 1169-1217 (Artykuł) Jean Goubault-Larrecq, Sławomir Lasota, David Nowak | |
50. | Observational interpretation of Casl specifications
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Tom 18 Nr 2 r. 2008, str. 325-371 (Artykuł) Michel Bidoit, Donald Sannella, Andrzej Tarlecki |