Michal Walicki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2022

Extensions in graph normal formMichal Walicki. igpl, 30(1):101-123, 2022. [doi]

2019

Kernels of digraphs with finitely many endsMichal Walicki. DM, 342(2):473-486, 2019. [doi]

2017

Resolving Infinitary ParadoxesMichal Walicki. JSYML, 82(2):709-723, 2017. [doi]

2014

Propositional discourse logicSjur Dyrkolbotn, Michal Walicki. synthese, 191(5):863-899, 2014. [doi]

2012

Expressive power of digraph solvabilityMarc Bezem, Clemens Grabmayer, Michal Walicki. APAL, 163(3):200-213, 2012. [doi]

Kernels in digraphs that are not kernel perfectSjur Dyrkolbotn, Michal Walicki. DM, 312(16):2498-2505, 2012. [doi]

Finding kernels or solving SATMichal Walicki, Sjur Dyrkolbotn. jda, 10:146-164, 2012. [doi]

2011

Sequence partitioning for process mining with unlabeled event logsMichal Walicki, Diogo R. Ferreira. DKE, 70(10):821-841, 2011. [doi]

2010

Mining sequences for patterns with non-repeating symbolsMichal Walicki, Diogo R. Ferreira. cec 2010: 1-8 [doi]

2009

Developing Bounded ReasoningMichal Walicki, Marc Bezem, Wojtek Szajnkenig. jolli, 18(1):97-129, 2009. [doi]

Reference, paradoxes and truthMichal Walicki. synthese, 171(1):195-226, 2009. [doi]

2008

Complete Axiomatisations of Properties of Finite SetsThomas Ågotnes, Michal Walicki. igpl, 16(3):293-313, 2008. [doi]

2007

Completeness and Decidability in Sequence LogicMarc Bezem, Tore Langholm, Michal Walicki. lpar 2007: 123-137 [doi]

2006

Quantifier-free logic for nondeterministic theoriesYngve Lamo, Michal Walicki. TCS, 355(2):215-227, 2006. [doi]

2005

Bireachability and Final MultialgebrasMichal Walicki. calco 2005: 408-423 [doi]

Complete Axiomatizations of Finite Syntactic Epistemic StatesThomas Ågotnes, Michal Walicki. dalt 2006: 33-50 [doi]

A logic of reasoning, communication and cooperation with syntactic knowledgeThomas Ågotnes, Michal Walicki. atal 2005: 1135-1136 [doi]

Strongly Complete Axiomatizations of Knowing at Most in Syntactic StructuresThomas Ågotnes, Michal Walicki. clima 2006: 57-76 [doi]

2003

Quantifier-free logic for multialgebraic theoriesYngve Lamo, Michal Walicki. ENTCS, 84:141-153, 2003. [doi]

2002

Combining Specification Formalisms in the ?General Logic? of MultialgebrasYngve Lamo, Michal Walicki. WADT 2003: 328-342 [doi]

Composition and refinement of specifications and parameterised data typesYngve Lamo, Michal Walicki. ENTCS, 70(3):199-216, 2002. [doi]

2001

1997

Singular and Plural Nondeterministic ParametersMichal Walicki, Sigurd Meldal. SICOMP, 26(4):991-1005, 1997.

Categories of relational structuresMichal Walicki, Marcin Bialasik. WADT 1997: 418-434

1996

Algebraic Approaches to Nondeterminism: An OverviewMichal Walicki, Sigurd Meldal. ACM Comput. Surv., 29(1):30-81, 1996. [doi]

1995

Rewriting and Reasoning with Set-Relations II: The Non-ground Case CompletenessValentinas Kriauciukas, Michal Walicki. compass 1996: 306-321

A Complete Calculus for the Multialgebraic and Functional Semantics of NondeterminismMichal Walicki, Sigurd Meldal. TOPLAS, 17(2):366-393, 1995. [doi]

Generated Models and the omega-Rule: The Nondeterministic CaseMichal Walicki, Sigurd Meldal. tapsoft 1995: 424-438

Structured Specifications and Implementation of Nondeterministic Data TypesMichal Walicki, Manfred Broy. njc, 2(3):358-395, 1995.

1994

Reasoning and Rewriting with Set-Relations I: Ground CompletenessValentinas Kriauciukas, Michal Walicki. csl 1995: 264-278

On Specialization of Derivations in Axiomatic Equality TheoriesAida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal. lfcs 1994: 291-303

Multialgebras, Power Algebras and Complete Calculi of Identities and InclusionsMichal Walicki, Sigurd Meldal. compass 1995: 453-468

1993

Sets and NondeterminismMichal Walicki, Sigurd Meldal. ICLP 1993:

Sign in or sign up to see more results.

runs on WebDSL