Aleksy Schubert

Available identifiers

zbMath Open schubert.aleksyWikidataQ102414000 ScholiaQ102414000MaRDI QIDQ276262

List of research outcomes

Publication	Date of Publication	Type
The existential fragment of second-order propositional intuitionistic logic is undecidable	2024-03-20	Paper
Automata theory approach to predicate intuitionistic logic	2022-09-08	Paper
On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note)	2019-10-07	Paper
First-order Answer Set Programming as Constructive Proof Search	2018-12-04	Paper
Answer set programming in intuitionistic logic	2018-01-12	Paper
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic	2017-10-17	Paper
Automata theory approach to predicate intuitionistic logic	2017-10-13	Paper
Automata Theoretic Account of Proof Search	2017-08-31	Paper
How Hard Is Positive Quantification?	2017-07-13	Paper
Restricted Positive Quantification Is Not Elementary	2017-07-12	Paper
On the Mints Hierarchy in First-Order Intuitionistic Logic	2017-04-11	Paper
Decidable structures between Church-style and Curry-style	2017-02-01	Paper
Relational abstract domain of weighted hexagons	2016-06-17	Paper
The role of polymorphism in the characterisation of complexity by soft types	2016-05-03	Paper
On the Mints Hierarchy in First-Order Intuitionistic Logic	2015-10-01	Paper
A note on subject reduction in \((\to, \exists)\)-Curry with respect to complete developments	2015-06-25	Paper
Existential type systems between Church and Curry style (type-free style)	2014-08-27	Paper
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types	2012-11-27	Paper
ML with PTIME complexity guarantees	2012-11-22	Paper
THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F	2012-04-25	Paper
The Role of Polymorphism in the Characterisation of Complexity by Soft Types	2011-08-17	Paper
Existential Type Systems with No Types in Terms	2009-07-07	Paper
The Existential Fragment of the One-Step Parallel Rewriting Theory	2009-06-30	Paper
On the building of affine retractions	2008-08-15	Paper
Fundamentals of Computation Theory	2006-10-20	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4536445	2002-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q2778836	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4508310	2000-10-03	Paper

Research outcomes over time

This page was built for person: Aleksy Schubert