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
https://portal.mardi4nfdi.de/entity/Q5369477	2017-10-17	Paper
Automata theory approach to predicate intuitionistic logic	2017-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5351954	2017-08-31	Paper
How Hard Is Positive Quantification?	2017-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5277980	2017-07-12	Paper
On the Mints Hierarchy in First-Order Intuitionistic Logic	2017-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2958384	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
https://portal.mardi4nfdi.de/entity/Q4649547	2012-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q5389138	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aleksy Schubert