Search the dblp DataBase
Michal Walicki :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Thomas Ågotnes , Michal Walicki A logic of reasoning, communication and cooperation with syntactic knowledge. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:1135-1136 [Conf ] Michal Walicki Bireachability and Final Multialgebras. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:408-423 [Conf ] Thomas Ågotnes , Michal Walicki Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:57-76 [Conf ] Michal Walicki , Sigurd Meldal Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1994, pp:453-468 [Conf ] Valentinas Kriauciukas , Michal Walicki Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1995, pp:306-321 [Conf ] Valentinas Kriauciukas , Michal Walicki Reasoning and Rewriting with Set-Relations I: Ground Completeness. [Citation Graph (0, 0)][DBLP ] CSL, 1994, pp:264-278 [Conf ] Thomas Ågotnes , Michal Walicki Complete Axiomatizations of Finite Syntactic Epistemic States. [Citation Graph (0, 0)][DBLP ] DALT, 2005, pp:33-50 [Conf ] Michal Walicki , Adis Hodzic , Sigurd Meldal Compositional Homomorphisms of Relational Structures. [Citation Graph (0, 0)][DBLP ] FCT, 2001, pp:359-371 [Conf ] Michal Walicki , Sigurd Meldal Nondeterminism vs. Underspecification. [Citation Graph (0, 0)][DBLP ] ISAS-SCI (1), 2001, pp:551-555 [Conf ] Yngve Lamo , Michal Walicki Modeling Partiality by Nondeterminism. [Citation Graph (0, 0)][DBLP ] ISAS-SCI (1), 2001, pp:447-452 [Conf ] Aida Pliuskeviciene , Regimantas Pliuskevicius , Michal Walicki , Sigurd Meldal On Specialization of Derivations in Axiomatic Equality Theories. [Citation Graph (0, 0)][DBLP ] LFCS, 1994, pp:291-303 [Conf ] Michal Walicki , Sigurd Meldal Generated Models and the omega-Rule: The Nondeterministic Case. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:424-438 [Conf ] Yngve Lamo , Michal Walicki Combining Specification Formalisms in the ?General Logic? of Multialgebras. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:328-342 [Conf ] Michal Walicki , Marcin Bialasik Categories of relational structures. [Citation Graph (0, 0)][DBLP ] WADT, 1997, pp:418-434 [Conf ] Michal Walicki , Sigurd Meldal Algebraic Approaches to Nondeterminism: An Overview. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:29, n:1, pp:30-81 [Journal ] Yngve Lamo , Michal Walicki Composition and refinement of specifications and parameterised data types. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal ] Yngve Lamo , Michal Walicki Quantifier-free logic for multialgebraic theories. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal ] Michal Walicki , Magne Haveraaen , Sigurd Meldal Computation Algebras. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2001, v:11, n:5, pp:597-636 [Journal ] Yngve Lamo , Michal Walicki Specification of Parametrized Programs - Persistency Revisited. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2001, v:8, n:3, pp:298-323 [Journal ] Michal Walicki , Manfred Broy Structured Specifications and Implementation of Nondeterministic Data Types. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 1995, v:2, n:3, pp:358-395 [Journal ] Michal Walicki , Sigurd Meldal Singular and Plural Nondeterministic Parameters. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1997, v:26, n:4, pp:991-1005 [Journal ] Yngve Lamo , Michal Walicki Quantifier-free logic for nondeterministic theories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:355, n:2, pp:215-227 [Journal ] Michal Walicki , Sigurd Meldal A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1995, v:17, n:2, pp:366-393 [Journal ] Marc Bezem , Tore Langholm , Michal Walicki Completeness and Decidability in Sequence Logic. [Citation Graph (0, 0)][DBLP ] LPAR, 2007, pp:123-137 [Conf ] Search in 0.006secs, Finished in 0.008secs