We stand with Ukraine

We stand with Ukraine

Michal Walicki

According to our database¹, Michal Walicki authored at least 38 papers between 1993 and 2022.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Extensions in graph normal form.

[BibT_eX]

[DOI]

Log. J. IGPL, 2022

2019

Kernels of digraphs with finitely many ends.

[BibT_eX]

[DOI]

Discret. Math., 2019

Paraconsistency, resolution and relevance.

[BibT_eX]

[DOI]

,

Sjur K. Dyrkolbotn

CoRR, 2019

2017

Resolving Infinitary Paradoxes.

[BibT_eX]

[DOI]

J. Symb. Log., 2017

2014

Propositional discourse logic.

[BibT_eX]

[DOI]

Sjur K. Dyrkolbotn

,

Synth., 2014

2012

Finding kernels or solving SAT.

[BibT_eX]

[DOI]

,

Sjur K. Dyrkolbotn

J. Discrete Algorithms, 2012

Kernels in digraphs that are not kernel perfect.

[BibT_eX]

[DOI]

Sjur K. Dyrkolbotn

,

Discret. Math., 2012

Expressive power of digraph solvability.

[BibT_eX]

[DOI]

,

Clemens Grabmayer

,

Ann. Pure Appl. Log., 2012

2011

Sequence partitioning for process mining with unlabeled event logs.

[BibT_eX]

[DOI]

,

Diogo R. Ferreira

Data Knowl. Eng., 2011

2010

Mining sequences for patterns with non-repeating symbols.

[BibT_eX]

[DOI]

,

Diogo R. Ferreira

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009

Reference, paradoxes and truth.

[BibT_eX]

[DOI]

Synth., 2009

Developing Bounded Reasoning.

[BibT_eX]

[DOI]

,

,

Wojtek Szajnkenig

J. Log. Lang. Inf., 2009

2008

Complete Axiomatisations of Properties of Finite Sets.

[BibT_eX]

[DOI]

Thomas Ågotnes

,

Log. J. IGPL, 2008

2007

Completeness and Decidability in Sequence Logic.

[BibT_eX]

[DOI]

,

,

Proceedings of the Logic for Programming, 2007

2006

Quantifier-free logic for nondeterministic theories.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 2006

2005

Complete Axiomatizations of Finite Syntactic Epistemic States.

[BibT_eX]

[DOI]

Thomas Ågotnes

,

Proceedings of the Declarative Agent Languages and Technologies III, 2005

Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures.

[BibT_eX]

[DOI]

Thomas Ågotnes

,

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Bireachability and Final Multialgebras.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

A logic of reasoning, communication and cooperation with syntactic knowledge.

[BibT_eX]

[DOI]

Thomas Ågotnes

,

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2003

Quantifier-free logic for multialgebraic theories.

[BibT_eX]

[DOI]

,

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002

Composition and refinement of specifications and parameterised data types.

[BibT_eX]

[DOI]

,

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Combining Specification Formalisms in the ?General Logic? of Multialgebras.

[BibT_eX]

[DOI]

,

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Specification of Parametrized Programs - Persistency Revisited.

[BibT_eX]

[DOI]

,

Nord. J. Comput., 2001

Computation Algebras.

[BibT_eX]

[DOI]

,

Magne Haveraaen

,

Math. Struct. Comput. Sci., 2001

Nondeterminism vs. Underspecification.

[BibT_eX]

,

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

Modeling Partiality by Nondeterminism.

[BibT_eX]

,

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

Compositional Homomorphisms of Relational Structures.

[BibT_eX]

[DOI]

,

,

Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001

1997

Singular and Plural Nondeterministic Parameters.

[BibT_eX]

[DOI]

,

SIAM J. Comput., 1997

Algebraic Approaches to Nondeterminism: An Overview.

[BibT_eX]

[DOI]

,

ACM Comput. Surv., 1997

Categories of relational structures.

[BibT_eX]

[DOI]

,

Marcin Bialasik

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

1995

A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.

[BibT_eX]

[DOI]

,

ACM Trans. Program. Lang. Syst., 1995

Structured Specifications and Implementation of Nondeterministic Data Types.

[BibT_eX]

,

Nord. J. Comput., 1995

Generated Models and the omega-Rule: The Nondeterministic Case.

[BibT_eX]

[DOI]

,

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.

[BibT_eX]

[DOI]

Valentinas Kriauciukas

,

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

On Specialization of Derivations in Axiomatic Equality Theories.

[BibT_eX]

[DOI]

Aida Pliuskeviciene

,

Regimantas Pliuskevicius

,

,

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Reasoning and Rewriting with Set-Relations I: Ground Completeness.

[BibT_eX]

[DOI]

Valentinas Kriauciukas

,

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions.

[BibT_eX]

[DOI]

,

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Sets and Nondeterminism.

[BibT_eX]

,

Proceedings of the Workshop on Logic Programming with Sets, 1993

Loading...