Wyniki wyszukiwania

Parametry zapytania
Jednostka:Zakład Logiki Stosowanej


Publikacja w czasopi¶mie

1. Alan Turing and Systems Biology
ERCIM NEWS Tom 2012 Nr 91 r. 2012, str. (Artykuł)
Anna Gambin, Anna Marciniak-Czochra, Damian Niwiński
2. An extension of data automata that captures XPath
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 1 r. 2012, str. (Artykuł)
Mikołaj Bojańczyk, Sławomir Lasota
3. Tav4SB: integrating tools for analysis of kinetic models of biological systems
BMC SYSTEMS BIOLOGY Tom 6 Nr 1 r. 2012, str. (Artykuł)
Anna Gambin, Mikołaj Rybiński, Michał Lula, Sławomir Lasota, Paweł Banasik
4. The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types
INFORMATION AND COMPUTATION Tom 218 r. 2012, str. 69-87 (Artykuł)
Ken-etsu Fujita, Aleksy Schubert
5. A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 6922 r. 2011, str. 572-581 (Artykuł konferencyjny)
Anh Linh Nguyen
6. A Dozen Instructions Make Java Bytecode
Electronic Notes in Theoretical Computer Science Tom 264 r. 2011, str. 19-34 (Artykuł)
Patryk Czarnik, Jacek Chrz±szcz, Aleksy Schubert
7. Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics
JOURNAL OF APPLIED NON-CLASSICAL LOGICS Tom 21 Nr 1 r. 2011, str. 61-81 (Artykuł)
Barbara Dunin-Kęplicz, Anh Linh Nguyen, Andrzej Szałas
8. Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 6804 r. 2011, str. 465-475 (Artykuł konferencyjny)
Anh Linh Nguyen
9. Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 6901 r. 2011, str. 528-542 (Artykuł konferencyjny)
Wojciech Czerwiński, Piotr Hofman, Sławomir Lasota
10. ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
Anh Linh Nguyen, Andrzej Szałas
11. Finite Combinatory Logic with Intersection Types
LECTURE NOTES IN COMPUTER SCIENCE Tom 6690 r. 2011, str. 169-183 (Artykuł konferencyjny)
Jakob Rehof, Paweł Urzyczyn
12. On the Web Ontology Rule Language OWL 2 RL
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 6922 r. 2011, str. 254-264 (Artykuł konferencyjny)
Son Cao, Anh Linh Nguyen, Andrzej Szałas
13. Partially-commutative context-free processes: expressibility and tractability
INFORMATION AND COMPUTATION Tom 209 Nr 5 r. 2011, str. 782-798 (Artykuł)
Wojciech Czerwiński, Sibylle Froeschle, Sławomir Lasota
14. The role of polymorphism in the characterisation of complexity by soft types
LECTURE NOTES IN COMPUTER SCIENCE Tom 6907 r. 2011, str. 219-230 (Artykuł konferencyjny)
Jacek Chrz±szcz, Aleksy Schubert
15. XPath evaluation in linear time
JOURNAL OF THE ACM Tom 58 Nr 4 r. 2011, str. 17-17 (Artykuł)
Paweł Parys, Mikołaj Bojańczyk
16. A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
NOTRE DAME JOURNAL OF FORMAL LOGIC Tom 51 Nr 4 r. 2010, str. 457-473 (Artykuł)
Morten Heine Sorensen, Paweł Urzyczyn
17. Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
FUNDAMENTA INFORMATICAE Tom 102 Nr 1 r. 2010, str. 97-113 (Artykuł)
Andrzej Szałas, Anh Linh Nguyen
18. Choice functions and well-orderings over the infinite binary tree
CENTRAL EUROPEAN JOURNAL OF MATHEMATICS Tom 8 Nr 4 r. 2010, str. 662-682 (Artykuł)
Arnaud Carayol, Christof Loding, Damian Niwiński, Igor Walukiewicz
19. Inductive Consequences in the Calculus of Constructions
LECTURE NOTES IN COMPUTER SCIENCE Tom 6172 r. 2010, str. 450-465 (Artykuł)
Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz
20. Non-interleaving bisimulation equivalences on Basic Parallel Processes
INFORMATION AND COMPUTATION Tom 208 Nr 1 r. 2010, str. 42-62 (Artykuł)
Sibylle B. Fröschle, Petr Jancar, Sławomir Lasota, Zdenek Sawa
21. On the Borel Complexity of MSO Definable Sets of Branches
FUNDAMENTA INFORMATICAE Tom 98 Nr 4 r. 2010, str. 337-349 (Artykuł)
Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich, Adam Radziwonczyk-Syta, Michał Skrzypczak
22. Preface
FUNDAMENTA INFORMATICAE Tom 103 Nr 1-4 r. 2010, str. (Artykuł)
Anna Gambin, Damian Niwiński, Paweł Urzyczyn
23. Relational Abstract Domain of Weighted Hexagons
Electronic Notes in Theoretical Computer Science Tom 267 Nr 1 r. 2010, str. 59-72 (Artykuł)
Jędrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert
24. Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal
INFORMATION PROCESSING LETTERS Tom 110 Nr 10 r. 2010, str. 396-398 (Artykuł)
Marcin Balcerzak, Damian Niwiński
25. An Efficient Tableau Prover using Global Caching for the Description Logic ALC
FUNDAMENTA INFORMATICAE Tom 93 r. 2009, str. 273-288 (Artykuł)
Anh Linh Nguyen

>>> Następne >>>