Pawel M. Idziak - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2022

2020

Intermediate problems in modular circuits satisfiabilityPawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski. lics 2020: 578-590 [doi]

2018

Satisfiability in multi-valued circuitsPawel M. Idziak, Jacek Krzaczkowski. lics 2018: 550-558 [doi]

Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent AlgebrasPawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski. mfcs 2018: [doi]

2014

Dynamic Adaptation of the Traffic Management System CarDemoArnaud Cordier, Remi Domingues, Anthony Labaere, Nicolas Noel, Adrien Thiery, Thomas Cerqueus, Siobhán Clarke, Pawel M. Idziak, Hui Song, Philip Perry, Anthony Ventresque. saso 2014: 193-194 [doi]

An Analysis of Decision-Making Techniques in Dynamic, Self-Adaptive SystemsPawel M. Idziak, Siobhán Clarke. saso 2014: 137-143 [doi]

2013

How big is BCI fragment of BCK logicKatarzyna Grygiel, Pawel M. Idziak, Marek Zaionc. logcom, 23(3):673-691, 2013. [doi]

2010

Tractability and Learnability Arising from Algebras with Few SubpowersPawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard. SICOMP, 39(7):3023-3037, 2010. [doi]

2009

Definable principal congruences and solvabilityPawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote. APAL, 157(1):30-49, 2009. [doi]

Fregean VarietiesPawel M. Idziak, Katarzyna Slomczynska, Andrzej Wronski. ijac, 19(5):595-645, 2009. [doi]

2007

Tractability and learnability arising from algebras with few subpowersPawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard. lics 2007: 213-224 [doi]

2003

Counting Mal tsev clones on small setsAndrei A. Bulatov, Pawel M. Idziak. DM, 268(1-3):59-80, 2003. [doi]

2000

Counting Finite Algebras in the Post VarietiesJoel Berman, Pawel M. Idziak. ijac, 10(3):323-338, 2000. [doi]

Dualizability and graph algebrasBrian A. Davey, Pawel M. Idziak, William A. Lampe, George F. McNulty. DM, 214(1-3):145-172, 2000. [doi]

1999

Clones containing Mal'tsev OperationsPawel M. Idziak. ijac, 9(2):213-226, 1999. [doi]

1996

A directly Representable Variety has a discrete First-Order LawStanley Burris, Pawel M. Idziak. ijac, 6(3):269-276, 1996. [doi]

1995

Monadic second order probabilities in algebra. Directly representable varieties and groupsPawel M. Idziak, Jerzy Tyszkiewicz. dimacs 1997: 79-108

1991

Elementary Theory of Finite Equivalential AlgebrasPawel M. Idziak. rml, 25, 1991.

1988

Decidability Problem for Finite Heyting AlgebrasKatarzyna Idziak, Pawel M. Idziak. JSYML, 53(3):729-735, 1988.

Sign in or sign up to see more results.

runs on WebDSL