Witold Charatonik

Available identifiers

zbMath Open charatonik.witoldMaRDI QIDQ1271567

List of research outcomes

Publication	Date of Publication	Type
The zoo of lambda-calculus reduction strategies, and Coq	2024-07-15	Paper
Set constraints in some equational theories	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5089007	2022-07-18	Paper
An abstract machine for strong call by value	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5136301	2020-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5111306	2020-05-26	Paper
Extending Two-Variable Logic on Trees	2020-05-26	Paper
Two-variable First-Order Logic with Counting in Forests	2019-07-04	Paper
Decidability of weak logics with deterministic transitive closure	2018-04-23	Paper
Two-variable Logic with Counting and a Linear Order	2017-08-31	Paper
Complexity of Two-Variable Logic on Finite Trees	2017-07-13	Paper
Two-Variable Logic with Counting and Trees	2017-07-13	Paper
Two-Variable Logic with Counting and Trees	2017-07-03	Paper
Two-variable Logic with Counting and a Linear Order	2016-07-06	Paper
Paths vs. trees in set-based program analysis	2015-03-17	Paper
Parameterized complexity of basic decision problems for tree automata	2013-10-22	Paper
Complexity of Two-Variable Logic on Finite Trees	2013-08-07	Paper
The Parameterized Complexity of Chosen Problems for Finite Automata on Trees	2011-06-03	Paper
On the Complexity of the Bernays-Schönfinkel Class with Datalog	2010-10-12	Paper
Set constraints with projections	2010-07-14	Paper
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates	2009-01-27	Paper
Quantified Positive Temporal Constraints	2008-11-20	Paper
Computer Science Logic	2006-11-01	Paper
Set constraints with intersection	2006-10-10	Paper
Model checking mobile ambients	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4808755	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809160	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738363	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736991	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4484507	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4783317	2002-12-04	Paper
Set constraints in some equational theories	2002-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q2769429	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4518877	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4936126	2000-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4266519	1999-10-04	Paper
An undecidable fragment of the theory of set constraints	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4217932	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4375589	1998-02-08	Paper

Research outcomes over time

This page was built for person: Witold Charatonik