Searching for authors named "Michal Walicki" – sorted by Relevance.
-
The History of Mathematical Logic (vastly abbreviated and horribly simplified)
- The History of Mathematical Logic (vastly abbreviated and horribly simplified) Micha/l Walicki
- Add To MetaCart
-
Complete axiomatizations of finite syntactic epistemic states
- Complete Axiomatizations of Finite Syntactic Epistemic States Thomas ˚Agotnes and Michal Walicki
- Cited by 13 (3 self) – Add To MetaCart
-
Strongly complete axiomatizations of ”knowing at most” in standard syntactic assignments
- ˚Agotnes 1 and Michal Walicki 2 1 Department for Humanistic Informatics, University of Bergen HF
- Cited by 9 (1 self) – Add To MetaCart
-
Rewriting and Reasoning with Set-Relations II: The Non-Ground Case Completeness
- Kriauciukas 1 ? Micha/l Walicki 2 ? 1 Matematikos ir Informatikos Institutas, Akademijos 4, 2600 Vilnius
- Add To MetaCart
-
Modeling Partiality By Nondeterminism - From Specifications to Flexible Error Handling
- Yngve Lamo Micha/l Walicki Department of Informatics University of Bergen 5020 Bergen, Norway fyngvel
- Add To MetaCart
-
Combining specification formalisms in the 'general logic' of multialgebras
- Combining specification formalisms in the 'general logic' of multialgebras Yngve Lamo 1 and Micha#l
- Add To MetaCart
-
Nondeterminism vs. Underspecification
- Nondeterminism vs. Underspecification Micha/l Walicki Dept. of Informatics, University of Bergen
- Add To MetaCart
-
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism
- Walicki * michal@(email omitted); Sigurd Meldal sigurd@(email omitted); University of Bergen Department
- Cited by 23 (9 self) – Add To MetaCart
-
Only Explicitly Knowing
- REPORTS IN INFORMATICS ISSN 0333-3590 Only Explicitly Knowing Thomas Agotnes and Michal Walicki
- Cited by 1 (0 self) – Add To MetaCart
-
Reasoning and Rewriting with Set-Relations I: Ground Completeness
- and Micha/l Walicki 2 ? 1 Department of Mathematical Logic Institute of Mathematics and Informatics
- Cited by 4 (1 self) – Add To MetaCart

