Searching for authors named "Michal Walicki" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
