| Publication | Date of Publication | Type |
|---|
| Feasibly categorical models | 2023-12-12 | Paper |
| Positional Marked Patterns in Permutations | 2023-05-30 | Paper |
| On logical constraints in logic programming | 2022-08-30 | Paper |
| Logic Programming and Effectively Closed Sets | 2021-06-15 | Paper |
| Effective categoricity of automatic equivalence and nested equivalence structures | 2020-08-26 | Paper |
| A method to compute the sparse graphs for traveling salesman problem based on frequency quadrilaterals | 2020-07-07 | Paper |
| Schur function expansions and the rational shuffle theorem | 2020-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5110990 | 2020-05-26 | Paper |
| On the complexity of index sets for finite predicate logic programs which allow function symbols | 2020-04-29 | Paper |
| Classical pattern distributions in $\mathcal{S}_{n}(132)$ and $\mathcal{S}_{n}(123)$ | 2020-01-13 | Paper |
| Paired patterns in lattice paths | 2019-10-16 | Paper |
| \(p\)-rook numbers and cycle counting in \(C_p \wr S_n\) | 2019-10-16 | Paper |
| The combinatorial properties of the Benoumhani polynomials for the Whitney numbers of Dowling lattices | 2019-09-11 | Paper |
| Exploring a delta Schur conjecture | 2019-08-12 | Paper |
| A proof of the delta conjecture when \(q=0\) | 2019-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5377443 | 2019-05-24 | Paper |
| Patterns in words of ordered set partitions | 2019-05-24 | Paper |
| Counting consecutive pattern matches in \(\mathcal{S}_n(132)\) and \(\mathcal{S}_n(123)\) | 2019-03-29 | Paper |
| Quadrant marked mesh patterns in 123-avoiding permutations | 2018-12-10 | Paper |
| Loop-augmented forests and a variant of Foulkes's conjecture | 2018-12-03 | Paper |
| Rises in forests of binary shrubs | 2018-11-30 | Paper |
| Descent c-Wilf Equivalence | 2018-11-26 | Paper |
| On the Schur positivity of \(\Delta_{e_{2}} e_n[X]\) | 2018-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3176594 | 2018-07-23 | Paper |
| Schur function expansions and the rational shuffle theorem | 2018-04-20 | Paper |
| The Delta Conjecture | 2018-03-28 | Paper |
| A note on passing from a quasi-symmetric function expansion to a Schur function expansion of a symmetric function | 2018-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4591345 | 2017-11-14 | Paper |
| Stieltjes moment sequences of polynomials | 2017-10-16 | Paper |
| A note on \(p\)-ascent sequences | 2017-09-20 | Paper |
| Action language Hybrid AL | 2017-09-05 | Paper |
| Index Sets for Finite Normal Predicate Logic Programs with Function Symbols | 2017-07-21 | Paper |
| On the cohomology rings of Grassmann varieties and Hilbert schemes | 2017-06-08 | Paper |
| Block patterns in generalized Euler Permutations | 2017-06-03 | Paper |
| Injection Structures Specified by Finite State Transducers | 2017-04-04 | Paper |
| Generating functions for permutations which avoid consecutive patterns with multiple descents | 2017-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2959985 | 2017-02-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2959994 | 2017-02-10 | Paper |
| Q-analogues of the Fibo-Stirling numbers | 2017-01-25 | Paper |
| Generating functions for descents over words which avoid a consecutive pattern | 2016-12-14 | Paper |
| Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays | 2016-11-03 | Paper |
| A binomial distribution model for the traveling salesman problem based on frequency quadrilaterals | 2016-09-13 | Paper |
| Bijections on \(m\)-level rook placements | 2016-06-20 | Paper |
| Generating functions for descents over permutations which avoid sets of consecutive patterns | 2016-04-18 | Paper |
| \(Q\)-analogues of convolutions of Fibonacci numbers | 2016-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464628 | 2016-01-27 | Paper |
| Sub-computable Bounded Pseudorandomness | 2015-12-11 | Paper |
| Forward Chaining for Hybrid ASP | 2015-12-11 | Paper |
| The classification of 231-avoiding permutations by descents and maximum drop | 2015-11-10 | Paper |
| Quadrant marked mesh patterns in 132-avoiding permutations III | 2015-10-29 | Paper |
| A Fibonacci analogue of Stirling numbers | 2015-10-14 | Paper |
| Counting with symmetric functions | 2015-09-14 | Paper |
| Representing graphs via pattern avoiding words | 2015-08-26 | Paper |
| Connection coefficients between generalized rising and falling factorial bases | 2015-07-22 | Paper |
| Quadrant marked mesh patterns in 132-avoiding permutations II | 2015-07-09 | Paper |
| An extension of MacMahon's equidistribution theorem to ordered set partitions | 2015-06-10 | Paper |
| \((a, b)\)-rectangle patterns in permutations and words | 2015-05-22 | Paper |
| Block patterns in Stirling permutations | 2015-05-20 | Paper |
| Computability-theoretic properties of injection structures | 2015-05-11 | Paper |
| Frame patterns in \(n\)-cycles | 2015-04-01 | Paper |
| p-Ascent Sequences | 2015-03-03 | Paper |
| Sub-computable Boundedness Randomness | 2015-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2937649 | 2015-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2937647 | 2015-01-09 | Paper |
| The \(\mu\) pattern in words | 2014-12-22 | Paper |
| Row-strict quasisymmetric Schur functions | 2014-09-04 | Paper |
| Consecutive up-down patterns in up-down permutations | 2014-09-04 | Paper |
| Quadrant marked mesh patterns in 132-avoiding permutations I | 2014-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5169278 | 2014-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5169279 | 2014-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5169280 | 2014-07-21 | Paper |
| The combinatorics of the HMZ operators applied to Schur functions | 2014-04-11 | Paper |
| Quadrant marked mesh patterns in alternating permutations. II | 2014-04-07 | Paper |
| Two-to-one structures | 2014-04-01 | Paper |
| Simple marked mesh patterns | 2014-03-24 | Paper |
| The 1-box pattern on pattern avoiding permutations | 2014-03-24 | Paper |
| \(m\)-level rook placements | 2014-03-14 | Paper |
| Quadrant marked mesh patterns in alternating permutations | 2014-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5746194 | 2014-02-18 | Paper |
| A reciprocity method for computing generating functions over the set of permutations with no consecutive occurrence of a permutation pattern | 2014-01-24 | Paper |
| Hybrid answer set programming | 2014-01-13 | Paper |
| Properties of the nonsymmetric Robinson-Schensted-Knuth algorithm | 2013-09-09 | Paper |
| Generalized pattern-matching conditions for \(C_k \wr S_n\) | 2013-06-03 | Paper |
| Generalized pattern avoidance condition for the wreath product of cyclic groups with symmetric groups | 2013-06-03 | Paper |
| Random Continuous Functions | 2013-05-10 | Paper |
| Extensions of answer set programming | 2013-02-28 | Paper |
| Generating functions for alternating descents and alternating major index | 2013-01-03 | Paper |
| A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs | 2012-12-28 | Paper |
| Pattern matching in the cycle structures of permutations | 2012-09-18 | Paper |
| Patterns in column strict fillings of rectangular arrays | 2012-09-18 | Paper |
| \(Q\)-analogues of the number of permutations with \(k\)-excedances | 2012-09-18 | Paper |
| Hybrid ASP | 2012-08-29 | Paper |
| Disjunctive Programs with Set Constraints | 2012-07-23 | Paper |
| Enumerating \((\mathbf 2+\mathbf 2)\)-free posets by the number of minimal elements and other statistics | 2012-04-30 | Paper |
| Generating functions for permutations avoiding a consecutive pattern | 2012-01-24 | Paper |
| Symmetric functions and generating functions for descents and major indices in compositions | 2012-01-24 | Paper |
| A \(p,q\)-analogue of the generalized derangement numbers | 2012-01-24 | Paper |
| Minimal overlapping patterns in colored permutations | 2011-11-22 | Paper |
| \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures | 2011-09-22 | Paper |
| Effective Categoricity of Injection Structures | 2011-09-09 | Paper |
| The complexity of recursive constraint satisfaction problems | 2011-08-26 | Paper |
| Enumerating \((2 + 2)\)-free posets by indistinguishable elements | 2011-08-23 | Paper |
| Guarded resolution for answer set programming | 2011-08-17 | Paper |
| Quasi-symmetric functions and up-down compositions | 2011-08-08 | Paper |
| Generating functions for Wilf equivalence under generalized factor order | 2011-06-06 | Paper |
| Effectively reasoning about infinite sets in answer set programming | 2011-05-19 | Paper |
| Permutations with \(k\)-regular descent patterns | 2011-03-25 | Paper |
| A computational and combinatorial exposé of plethystic calculus | 2011-02-18 | Paper |
| Ranking and unranking trees with given degree sequences | 2010-09-10 | Paper |
| Ranking and unranking trees with a given number or a given set of leaves | 2010-09-10 | Paper |
| \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures | 2010-07-28 | Paper |
| Counting descents, rises, and levels, with prescribed first element, in words | 2010-07-27 | Paper |
| Analogues of up-down permutations for colored permutations | 2010-06-21 | Paper |
| Place-difference-value patterns: a generalization of generalized permutation and word patterns | 2010-05-19 | Paper |
| Equidistribution of descents, adjacent pairs, and place-value pairs on permutations | 2010-03-30 | Paper |
| Generating functions for permutations which contain a given descent set | 2010-03-26 | Paper |
| Rationality, irrationality, and Wilf equivalence in generalized factor order | 2010-03-26 | Paper |
| \(q\)-counting descent pairs with prescribed tops and bottoms | 2010-03-26 | Paper |
| Generating functions for statistics on \(C_k\wr S_n\) | 2010-01-19 | Paper |
| The combinatorics of Macdonald's \(D_{n}^{1}\) operator | 2010-01-19 | Paper |
| New pattern matching conditions for wreath products of the cyclic groups with symmetric groups | 2009-08-27 | Paper |
| Set based logic programming | 2009-07-13 | Paper |
| My work with Victor Marek: a mathematician looks at answer set programming | 2009-07-06 | Paper |
| Consistency properties and set based logic programming | 2009-07-06 | Paper |
| Equivalence structures and isomorphisms in the difference hierarchy | 2009-06-04 | Paper |
| Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences | 2009-05-07 | Paper |
| Augmented rook boards and general product formulas | 2009-04-07 | Paper |
| The combinatorics of the Garsia-Haiman modules for hook shapes | 2009-04-07 | Paper |
| Space complexity of abelian groups | 2009-03-17 | Paper |
| K-Triviality of Closed Sets and Continuous Functions | 2009-03-02 | Paper |
| Automata and Answer Set Programming | 2009-02-24 | Paper |
| On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP | 2009-01-22 | Paper |
| Counting descent pairs with prescribed tops and bottoms | 2008-09-04 | Paper |
| Algorithmic randomness of continuous functions | 2008-05-26 | Paper |
| Descents, inversions, and major indices in permutation groups | 2008-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445168 | 2008-03-03 | Paper |
| Compactness Properties for Stable Semantics of Logic Programs | 2008-01-04 | Paper |
| K-Trivial Closed Sets and Continuous Functions | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Classifying descents according to parity | 2007-10-11 | Paper |
| Breakthroughs in the theory of Macdonald polynomials | 2007-06-30 | Paper |
| Permutations and words counted by consecutive patterns | 2007-02-19 | Paper |
| On the complexity of inductive definitions | 2007-02-09 | Paper |
| Classifying descents according to equivalence \(\operatorname{mod} k\) | 2006-08-30 | Paper |
| \(m\)-rook numbers and a generalization of a formula of Frobenius to \(C_m \wr \mathcal S_n\) | 2006-08-17 | Paper |
| Complexity, decidability and completeness | 2006-08-03 | Paper |
| Enumeration of \(m\)-tuples of permutations and a new class of power bases for the space of symmetric functions | 2006-04-28 | Paper |
| Lyndon words and transition matrices between elementary, homogeneous and monomial symmetric functions | 2006-03-22 | Paper |
| Logic programming with infinite sets | 2006-01-23 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711878 | 2005-12-08 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| Statistics on wreath products, perfect matchings, and signed words | 2005-06-30 | Paper |
| A CLASS OF GRAPHS WHICH HAS EFFICIENT RANKING AND UNRANKING ALGORITHMS FOR SPANNING TREES AND FORESTS | 2005-06-22 | Paper |
| Conjectured combinatorial models for the Hilbert series of generalized diagonal harmonic modules | 2005-04-25 | Paper |
| Rook theory, generalized {S}tirling numbers and {\((p,q)\)}-analogues | 2005-04-25 | Paper |
| A combinatorial formula for the character of the diagonal coinvariants | 2005-04-04 | Paper |
| Index sets for computable differential equations | 2005-02-16 | Paper |
| A \(\lambda\)-ring Frobenius characteristic for \(G\wr S_n\) | 2004-10-13 | Paper |
| On the expressibility of stable logic programming | 2004-08-19 | Paper |
| Locally determined logic programs and recursive stable models | 2004-05-27 | Paper |
| The plethysm \(s_\lambda[s_\mu]\) at hook and near-hook shapes | 2004-02-05 | Paper |
| Cycles and perfect matchings. | 2004-01-26 | Paper |
| Rook theory for perfect matchings | 2003-08-28 | Paper |
| A \(p,q\)-analogue of a formula of Frobenius | 2003-05-07 | Paper |
| Trace cocharacters and the Kronecker products of Schur functions | 2003-04-28 | Paper |
| Index sets for ω‐languages | 2003-03-19 | Paper |
| On the Expressibility of Stable Logic Programming | 2003-03-18 | Paper |
| Spanning trees and function classes | 2002-09-22 | Paper |
| Effectively closed sets and graphs of computable real functions. | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513967 | 2002-01-16 | Paper |
| Large-scale regularities of lattice embeddings of posets | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946095 | 2000-11-14 | Paper |
| A simple proof of the Littlewood-Richardson rule and applications. | 2000-11-02 | Paper |
| Formulas for the expansion of the plethysms \(s_ 2[s_{(a,b)}]\) and \(s_ 2[s_{(n^ k)}]\). | 2000-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249365 | 2000-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249725 | 2000-06-29 | Paper |
| Feasible graphs with standard universe | 2000-06-14 | Paper |
| Nonmonotonic rule systems with recursive sets of restraints | 2000-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955327 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379673 | 2000-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249355 | 2000-02-15 | Paper |
| Index sets for \(\Pi^0_1\) classes | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249723 | 1999-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246816 | 1999-09-02 | Paper |
| Logic programs, well-orderings, and forward chaining | 1999-06-24 | Paper |
| Index sets in computable analysis | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400932 | 1999-04-09 | Paper |
| Complexity and categoricity | 1998-05-04 | Paper |
| A theory of nonmonotonic rule systems I | 1997-12-14 | Paper |
| Quasi-simple relations in copies of a given recursive structure | 1997-10-14 | Paper |
| Combinatorics of the \(q\)-basis of symmetric functions | 1997-06-22 | Paper |
| Applications of the Frobenius formulas for the characters of the symmetric group and the Hecke algebras of type A | 1997-05-22 | Paper |
| A theory of nonmonotonic rule systems. II | 1997-05-13 | Paper |
| Transition matrices and kronecker product expansions of symmetric functions | 1997-05-11 | Paper |
| McNaughton games and extracting strategies for concurrent programs | 1997-03-31 | Paper |
| Annotated nonmonotonic rule systems | 1997-02-28 | Paper |
| Viability in hybrid systems | 1997-02-28 | Paper |
| A combinatorial proof of the equivalence of the classical and combinatorial definitions of Schur function | 1996-12-09 | Paper |
| On the lattices of NP-subspaces of a polynomial time vector space over a finite field | 1996-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850547 | 1996-09-22 | Paper |
| The combinatorics of transition matrices between the bases of the symmetric functions and the \(B_ n\) analogues | 1996-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863427 | 1996-07-02 | Paper |
| Permutation enumeration of the symmetric group and the combinatorics of symmetric functions | 1996-03-05 | Paper |
| Feasible Graphs and Colorings | 1995-12-13 | Paper |
| On the Kronecker product of Schur functions of two row shapes | 1995-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764097 | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764106 | 1995-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764118 | 1995-05-01 | Paper |
| The Stable Models of a Predicate Logic Program | 1995-02-06 | Paper |
| A context for belief revision: forward chaining-normal nonmonotonic rule systems | 1994-11-03 | Paper |
| On speedable and levelable vector spaces | 1994-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035316 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035306 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035317 | 1993-05-18 | Paper |
| Recursively presented games and strategies | 1992-12-16 | Paper |
| Polynomial-time Abelian groups | 1992-09-27 | Paper |
| Formulas for the expansion of the Kronecker products \(S_{(m,n)} \otimes{}S_{(1^{p-r},r)}\) and \(S_{(1^ k2^ l)} \otimes{}S_{(1^{p-r},r)}\) | 1992-09-27 | Paper |
| How complicated is the set of stable models of a recursive logic program? | 1992-09-27 | Paper |
| Cancellation laws for polynomial-time \(p\)-isolated sets | 1992-09-27 | Paper |
| Polynomial-time versus recursive models | 1992-06-28 | Paper |
| Brick tabloids and the connection matrices between bases of symmetric functions | 1992-06-28 | Paper |
| Π01-classes and Rado's selection principle | 1992-06-27 | Paper |
| A combinatorial interpretation of the inverse kostka matrix | 1992-06-25 | Paper |
| A bijective proof of a factorization theorem for (k,l)-hook schur functions | 1992-06-25 | Paper |
| Combinatorial algorithms for the expansion of various products of Schur functions | 1992-06-25 | Paper |
| The monomial symmetric functions and the Frobenius map | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3478393 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484825 | 1990-01-01 | Paper |
| A formula for the Kronecker products of Schur functions of hook shapes | 1989-01-01 | Paper |
| Complexity-theoretic algebra. II: Boolean algebras | 1989-01-01 | Paper |
| Classification of degree classes associated with r.e. subspaces | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204445 | 1989-01-01 | Paper |
| A combinatorial proof of the Giambelli identity for Schur functions | 1988-01-01 | Paper |
| Computing cocharacters of sign trace identities | 1988-01-01 | Paper |
| Automorphisms and Recursive Structures | 1987-01-01 | Paper |
| Permutation statistics and \((k,\ell)\)-hook Schur functions | 1987-01-01 | Paper |
| Recursively rigid Boolean algebras | 1987-01-01 | Paper |
| Degrees of Splittings and Bases of Recursively Enumerable Subspace | 1987-01-01 | Paper |
| The undecidability of the lattice of r. e. closed subsets of an effective topological space | 1987-01-01 | Paper |
| The spread of a partial order | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815528 | 1987-01-01 | Paper |
| Bijections for Cayley trees, spanning trees, and their q-analogues | 1986-01-01 | Paper |
| Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes | 1986-01-01 | Paper |
| Q-counting rook configurations and a formula of Frobenius | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724639 | 1986-01-01 | Paper |
| Generic objects in recursion theory. II: Operations on recursive approximation spaces | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3724317 | 1986-01-01 | Paper |
| Shuffles of permutations and the Kronecker product | 1985-01-01 | Paper |
| Hook flag characters and their combinatorics | 1985-01-01 | Paper |
| A combinatorial view of Andrews' proof of the L-M-W conjectures | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727983 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690803 | 1985-01-01 | Paper |
| Degrees of Indiscernibles in Decidable Models | 1985-01-01 | Paper |
| Multiplying Schur functions | 1984-01-01 | Paper |
| A bijective proof of the generating function for the number of reverse plane partitions via lattice paths | 1984-01-01 | Paper |
| The universal complementation property | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676136 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222849 | 1984-01-01 | Paper |
| The universal splitting property. II | 1984-01-01 | Paper |
| Indiscernibles and decidable models | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346300 | 1983-01-01 | Paper |
| A note on a recursion for the number of derangements | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343973 | 1983-01-01 | Paper |
| A bijective proof of the Hook formula for the number of column strict tableaux with bounded entries | 1983-01-01 | Paper |
| Degrees of recursively enumerable topological spaces | 1983-01-01 | Paper |
| Bijective proofs of formulae for the number of standard Yound tableaux | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039343 | 1982-01-01 | Paper |
| Bijective proofs of some classical partition identities | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041178 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960683 | 1982-01-01 | Paper |
| Recursively Categorical Linear Orderings | 1981-01-01 | Paper |
| Recursive isomorphism types of recursive Boolean algebras | 1981-01-01 | Paper |
| Recursive Boolean algebras with recursive atoms | 1981-01-01 | Paper |
| Symmetric functions and raising operators | 1981-01-01 | Paper |
| On the Effectiveness of the Schroder-Bernstein Theorem | 1981-01-01 | Paper |
| Partial orderings of fixed finite dimension: Model companions and density | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3946148 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960682 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3952086 | 1981-01-01 | Paper |
| On r.e. and co-r.e. vector spaces with nonextendible bases | 1980-01-01 | Paper |
| A combinatorial interpretation of q-derangement and q-Laguerre numbers | 1980-01-01 | Paper |
| Recursion theory on orderings. II | 1980-01-01 | Paper |
| CO‐Simple Higher‐Order Indecomposable Isols | 1980-01-01 | Paper |
| Recursion theory on algebraic structures with independent sets | 1980-01-01 | Paper |
| Complementation in the lattice of subalgebras of a Boolean algebra | 1980-01-01 | Paper |
| R-maximal Boolean algebras | 1979-01-01 | Paper |
| Recursion theory on orderings. I. A model theoretic setting | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861581 | 1979-01-01 | Paper |
| A r-maximal vector space not contained in any maximal vector space | 1978-01-01 | Paper |
| Recursively enumerable Boolean algebras | 1978-01-01 | Paper |
| Maximal and Cohesive vector spaces | 1978-01-01 | Paper |
| Realizing partial orderings by classes of co-simple sets | 1978-01-01 | Paper |
| Combinational functors on co-r.e. structures | 1976-01-01 | Paper |
| Co-hypersimple structures | 1976-01-01 | Paper |
