| Publication | Date of Publication | Type |
|---|
Feasibly categorical models
Lecture Notes in Computer Science | 2023-12-12 | Paper |
Positional Marked Patterns in Permutations
Discrete Mathematics & Theoretical Computer Science | 2023-05-30 | Paper |
On logical constraints in logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Logic Programming and Effectively Closed Sets
Structure and Randomness in Computability and Set Theory | 2021-06-15 | Paper |
Effective categoricity of automatic equivalence and nested equivalence structures
Theory of Computing Systems | 2020-08-26 | Paper |
A method to compute the sparse graphs for traveling salesman problem based on frequency quadrilaterals
(available as arXiv preprint) | 2020-07-07 | Paper |
Schur function expansions and the rational shuffle theorem
Journal of Combinatorial Theory. Series A | 2020-07-03 | Paper |
| The Delta conjecture | 2020-05-26 | Paper |
On the complexity of index sets for finite predicate logic programs which allow function symbols
Journal Of Logic And Computation | 2020-04-29 | Paper |
Classical pattern distributions in \(\mathcal{S}_n(132)\) and \(\mathcal{S}_n(123)\)
(available as arXiv preprint) | 2020-01-13 | Paper |
| Classical pattern distributions in \(\mathcal{S}_n(132)\) and \(\mathcal{S}_n(123)\) | 2020-01-13 | Paper |
| \(p\)-rook numbers and cycle counting in \(C_p \wr S_n\) | 2019-10-16 | Paper |
Paired patterns in lattice paths
(available as arXiv preprint) | 2019-10-16 | Paper |
The combinatorial properties of the Benoumhani polynomials for the Whitney numbers of Dowling lattices
Discrete Mathematics | 2019-09-11 | Paper |
Exploring a delta Schur conjecture
Journal of Combinatorics | 2019-08-12 | Paper |
A proof of the delta conjecture when \(q=0\)
Annals of Combinatorics | 2019-07-09 | Paper |
| Extending from bijections between marked occurrences of patterns to all occurrences of patterns | 2019-05-24 | Paper |
Patterns in words of ordered set partitions
Journal of Combinatorics | 2019-05-24 | Paper |
Counting consecutive pattern matches in \(\mathcal{S}_n(132)\) and \(\mathcal{S}_n(123)\)
Advances in Applied Mathematics | 2019-03-29 | Paper |
Quadrant marked mesh patterns in 123-avoiding permutations
(available as arXiv preprint) | 2018-12-10 | Paper |
| Quadrant marked mesh patterns in 123-avoiding permutations | 2018-12-10 | Paper |
Loop-augmented forests and a variant of Foulkes's conjecture
Algebraic Combinatorics | 2018-12-03 | Paper |
Rises in forests of binary shrubs
(available as arXiv preprint) | 2018-11-30 | Paper |
| Rises in forests of binary shrubs | 2018-11-30 | Paper |
Descent c-Wilf equivalence
(available as arXiv preprint) | 2018-11-26 | Paper |
| Descent c-Wilf equivalence | 2018-11-26 | Paper |
On the Schur positivity of \(\Delta_{e_{2}} e_n[X\)]
The Electronic Journal of Combinatorics | 2018-10-30 | Paper |
On the Schur positivity of \(\Delta_{e_{2}} e_n[X\)]
The Electronic Journal of Combinatorics | 2018-10-30 | Paper |
| Rationality, irrationality, and Wilf equivalence in generalized factor order | 2018-07-23 | Paper |
Rationality, irrationality, and Wilf equivalence in generalized factor order
(available as arXiv preprint) | 2018-07-23 | Paper |
Schur function expansions and the rational shuffle conjecture
Séminaire Lotharingien de Combinatoire | 2018-04-20 | Paper |
The delta conjecture
Transactions of the American Mathematical Society | 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 |
| scientific article; zbMATH DE number 6806834 (Why is no real title available?) | 2017-11-14 | Paper |
| Stieltjes moment sequences of polynomials | 2017-10-16 | Paper |
A note on \(p\)-ascent sequences
Journal of Combinatorics | 2017-09-20 | Paper |
| Action language Hybrid AL | 2017-09-05 | Paper |
Index sets for finite normal predicate logic programs with function symbols
Logical Foundations of Computer Science | 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
Computability and Complexity | 2017-04-04 | Paper |
| Generating functions for permutations which avoid consecutive patterns with multiple descents | 2017-02-26 | Paper |
| scientific article; zbMATH DE number 6683606 (Why is no real title available?) | 2017-02-10 | Paper |
| scientific article; zbMATH DE number 6683615 (Why is no real title available?) | 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
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2016-11-03 | Paper |
Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2016-11-03 | Paper |
A binomial distribution model for the traveling salesman problem based on frequency quadrilaterals
Journal of Graph Algorithms and Applications | 2016-09-13 | Paper |
Bijections on \(m\)-level rook placements
European Journal of Combinatorics | 2016-06-20 | Paper |
Generating functions for descents over permutations which avoid sets of consecutive patterns
The Australasian Journal of Combinatorics | 2016-04-18 | Paper |
Generating functions for descents over permutations which avoid sets of consecutive patterns
The Australasian Journal of Combinatorics | 2016-04-18 | Paper |
\(Q\)-analogues of convolutions of Fibonacci numbers
The Australasian Journal of Combinatorics | 2016-04-18 | Paper |
| scientific article; zbMATH DE number 6536279 (Why is no real title available?) | 2016-01-27 | Paper |
Sub-computable bounded pseudorandomness
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Forward chaining for hybrid ASP
Logical Foundations of Computer Science | 2015-12-11 | Paper |
The classification of 231-avoiding permutations by descents and maximum drop
Journal of Combinatorics | 2015-11-10 | Paper |
| Quadrant marked mesh patterns in 132-avoiding permutations. III. | 2015-10-29 | Paper |
Quadrant marked mesh patterns in 132-avoiding permutations. III.
(available as arXiv preprint) | 2015-10-29 | Paper |
| A Fibonacci analogue of Stirling numbers | 2015-10-14 | Paper |
Counting with symmetric functions
Developments in Mathematics | 2015-09-14 | Paper |
Representing graphs via pattern avoiding words
The Electronic Journal of Combinatorics | 2015-08-26 | Paper |
Representing graphs via pattern avoiding words
The Electronic Journal of Combinatorics | 2015-08-26 | Paper |
Connection coefficients between generalized rising and falling factorial bases
Annals of Combinatorics | 2015-07-22 | Paper |
| Quadrant marked mesh patterns in 132-avoiding permutations. II. | 2015-07-09 | Paper |
Quadrant marked mesh patterns in 132-avoiding permutations. II.
(available as arXiv preprint) | 2015-07-09 | Paper |
An extension of MacMahon's equidistribution theorem to ordered set partitions
Journal of Combinatorial Theory. Series A | 2015-06-10 | Paper |
\((a, b)\)-rectangle patterns in permutations and words
Discrete Applied Mathematics | 2015-05-22 | Paper |
Block patterns in Stirling permutations
Journal of Combinatorics | 2015-05-20 | Paper |
Computability-theoretic properties of injection structures
Algebra and Logic | 2015-05-11 | Paper |
Frame patterns in \(n\)-cycles
Discrete Mathematics | 2015-04-01 | Paper |
| p-Ascent Sequences | 2015-03-03 | Paper |
Sub-computable Boundedness Randomness
Logical Methods in Computer Science | 2015-01-15 | Paper |
| scientific article; zbMATH DE number 6385390 (Why is no real title available?) | 2015-01-09 | Paper |
| Applying a reciprocity method to count permutations avoiding two families of consecutive patterns | 2015-01-09 | Paper |
The \(\mu\) pattern in words
Journal of Combinatorics | 2014-12-22 | Paper |
Row-strict quasisymmetric Schur functions
Annals of Combinatorics | 2014-09-04 | Paper |
Consecutive up-down patterns in up-down permutations
The Electronic Journal of Combinatorics | 2014-09-04 | Paper |
Quadrant marked mesh patterns in 132-avoiding permutations
(available as arXiv preprint) | 2014-07-21 | Paper |
| Wilf equivalence for generalized factor orders modulo \(k\) | 2014-07-21 | Paper |
| Minimal overlapping embeddings and exact matches in words | 2014-07-21 | Paper |
| Generalizations of the major index | 2014-07-21 | Paper |
The combinatorics of the HMZ operators applied to Schur functions
Journal of Combinatorics | 2014-04-11 | Paper |
Quadrant marked mesh patterns in alternating permutations. II
Journal of Combinatorics | 2014-04-07 | Paper |
Two-to-one structures
Journal Of Logic And Computation | 2014-04-01 | Paper |
| Simple marked mesh patterns | 2014-03-24 | Paper |
Simple marked mesh patterns
(available as arXiv preprint) | 2014-03-24 | Paper |
| The 1-box pattern on pattern-avoiding permutations | 2014-03-24 | Paper |
The 1-box pattern on pattern-avoiding permutations
(available as arXiv preprint) | 2014-03-24 | Paper |
\(m\)-level rook placements
Journal of Combinatorial Theory. Series A | 2014-03-14 | Paper |
Quadrant marked mesh patterns in alternating permutations
Séminaire Lotharingien de Combinatoire | 2014-03-07 | Paper |
Quadrant marked mesh patterns in alternating permutations
Séminaire Lotharingien de Combinatoire | 2014-03-07 | Paper |
| scientific article; zbMATH DE number 6258680 (Why is no real title available?) | 2014-02-18 | Paper |
A reciprocity method for computing generating functions over the set of permutations with no consecutive occurrence of a permutation pattern
Discrete Mathematics | 2014-01-24 | Paper |
Hybrid answer set programming
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Properties of the nonsymmetric Robinson-Schensted-Knuth algorithm
Journal of Algebraic Combinatorics | 2013-09-09 | Paper |
Generalized pattern-matching conditions for \(C_k \wr S_n\)
ISRN Combinatorics | 2013-06-03 | Paper |
Generalized pattern avoidance condition for the wreath product of cyclic groups with symmetric groups
ISRN Combinatorics | 2013-06-03 | Paper |
Random Continuous Functions
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| Extensions of answer set programming | 2013-02-28 | Paper |
Generating functions for alternating descents and alternating major index
Annals of Combinatorics | 2013-01-03 | Paper |
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
Annals of Mathematics and Artificial Intelligence | 2012-12-28 | Paper |
Pattern matching in the cycle structures of permutations
PU.M.A. Pure Mathematics and Applications | 2012-09-18 | Paper |
Patterns in column strict fillings of rectangular arrays
PU.M.A. Pure Mathematics and Applications | 2012-09-18 | Paper |
\(Q\)-analogues of the number of permutations with \(k\)-excedances
PU.M.A. Pure Mathematics and Applications | 2012-09-18 | Paper |
| Hybrid ASP | 2012-08-29 | Paper |
Disjunctive Programs with Set Constraints
Correct Reasoning | 2012-07-23 | Paper |
Enumerating \((\mathbf 2+\mathbf 2)\)-free posets by the number of minimal elements and other statistics
Discrete Applied Mathematics | 2012-04-30 | Paper |
Generating functions for permutations avoiding a consecutive pattern
Annals of Combinatorics | 2012-01-24 | Paper |
Symmetric functions and generating functions for descents and major indices in compositions
Annals of Combinatorics | 2012-01-24 | Paper |
A \(p,q\)-analogue of the generalized derangement numbers
Annals of Combinatorics | 2012-01-24 | Paper |
Minimal overlapping patterns in colored permutations
The Electronic Journal of Combinatorics | 2011-11-22 | Paper |
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Effective Categoricity of Injection Structures
Models of Computation in Context | 2011-09-09 | Paper |
The complexity of recursive constraint satisfaction problems
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Enumerating \((2 + 2)\)-free posets by indistinguishable elements
Journal of Combinatorics | 2011-08-23 | Paper |
Guarded resolution for answer set programming
Theory and Practice of Logic Programming | 2011-08-17 | Paper |
Quasi-symmetric functions and up-down compositions
Discrete Mathematics | 2011-08-08 | Paper |
| Generating functions for Wilf equivalence under generalized factor order | 2011-06-06 | Paper |
Generating functions for Wilf equivalence under generalized factor order
(available as arXiv preprint) | 2011-06-06 | Paper |
| Generating functions for Wilf equivalence under generalized factor order | 2011-06-06 | Paper |
Effectively reasoning about infinite sets in answer set programming
Lecture Notes in Computer Science | 2011-05-19 | Paper |
| Permutations with \(k\)-regular descent patterns | 2011-03-25 | Paper |
A computational and combinatorial exposé of plethystic calculus
Journal of Algebraic Combinatorics | 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
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
Counting descents, rises, and levels, with prescribed first element, in words
(available as arXiv preprint) | 2010-07-27 | 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 |
| Analogues of up-down permutations for colored permutations | 2010-06-21 | Paper |
Place-difference-value patterns: a generalization of generalized permutation and word patterns
Integers | 2010-05-19 | Paper |
Place-difference-value patterns: a generalization of generalized permutation and word patterns
Integers | 2010-05-19 | Paper |
| Equidistribution of descents, adjacent pairs, and place-value pairs on permutations | 2010-03-30 | Paper |
Equidistribution of descents, adjacent pairs, and place-value pairs on permutations
(available as arXiv preprint) | 2010-03-30 | 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
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
Generating functions for permutations which contain a given descent set
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
\(q\)-counting descent pairs with prescribed tops and bottoms
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
\(q\)-counting descent pairs with prescribed tops and bottoms
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
Rationality, irrationality, and Wilf equivalence in generalized factor order
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
Rationality, irrationality, and Wilf equivalence in generalized factor order
The Electronic Journal of Combinatorics | 2010-03-26 | Paper |
Generating functions for statistics on \(C_k\wr S_n\)
Séminaire Lotharingien de Combinatoire | 2010-01-19 | Paper |
The combinatorics of Macdonald's \(D_{n}^{1}\) operator
Séminaire Lotharingien de Combinatoire | 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
Annals of Mathematics and Artificial Intelligence | 2009-07-13 | Paper |
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Consistency properties and set based logic programming
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Equivalence structures and isomorphisms in the difference hierarchy
Journal of Symbolic Logic | 2009-06-04 | Paper |
Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences
Advances in Applied Mathematics | 2009-05-07 | Paper |
Augmented rook boards and general product formulas
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Augmented rook boards and general product formulas
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
The combinatorics of the Garsia-Haiman modules for hook shapes
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
The combinatorics of the Garsia-Haiman modules for hook shapes
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
The combinatorics of the Garsia-Haiman modules for hook shapes
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Space complexity of abelian groups
Archive for Mathematical Logic | 2009-03-17 | Paper |
K-Triviality of Closed Sets and Continuous Functions
Journal Of Logic And Computation | 2009-03-02 | Paper |
Automata and Answer Set Programming
Logical Foundations of Computer Science | 2009-02-24 | Paper |
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
Logic Programming | 2009-01-22 | Paper |
Counting descent pairs with prescribed tops and bottoms
Journal of Combinatorial Theory. Series A | 2008-09-04 | Paper |
Algorithmic randomness of continuous functions
Archive for Mathematical Logic | 2008-05-26 | Paper |
Descents, inversions, and major indices in permutation groups
Discrete Mathematics | 2008-05-13 | Paper |
| scientific article; zbMATH DE number 5241979 (Why is no real title available?) | 2008-03-03 | Paper |
Compactness Properties for Stable Semantics of Logic Programs
Logical Foundations of Computer Science | 2008-01-04 | Paper |
K-Trivial Closed Sets and Continuous Functions
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Classifying descents according to parity
Annals of Combinatorics | 2007-10-11 | Paper |
Breakthroughs in the theory of Macdonald polynomials
Proceedings of the National Academy of Sciences | 2007-06-30 | Paper |
Permutations and words counted by consecutive patterns
Advances in Applied Mathematics | 2007-02-19 | Paper |
On the complexity of inductive definitions
Mathematical Structures in Computer Science | 2007-02-09 | Paper |
Classifying descents according to equivalence \(\operatorname{mod} k\)
The Electronic Journal of Combinatorics | 2006-08-30 | Paper |
Classifying descents according to equivalence \(\operatorname{mod} k\)
The Electronic Journal of Combinatorics | 2006-08-30 | Paper |
Classifying descents according to equivalence \(\operatorname{mod} k\)
The Electronic Journal of Combinatorics | 2006-08-30 | Paper |
\(m\)-rook numbers and a generalization of a formula of Frobenius to \(C_m \wr \mathcal S_n\)
Journal of Combinatorial Theory. Series A | 2006-08-17 | Paper |
Complexity, decidability and completeness
Journal of Symbolic Logic | 2006-08-03 | Paper |
Enumeration of \(m\)-tuples of permutations and a new class of power bases for the space of symmetric functions
Advances in Applied Mathematics | 2006-04-28 | Paper |
Lyndon words and transition matrices between elementary, homogeneous and monomial symmetric functions
The Electronic Journal of Combinatorics | 2006-03-22 | Paper |
Lyndon words and transition matrices between elementary, homogeneous and monomial symmetric functions
The Electronic Journal of Combinatorics | 2006-03-22 | Paper |
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence | 2006-01-23 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
| scientific article; zbMATH DE number 2236627 (Why is no real title available?) | 2005-12-08 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Statistics on wreath products, perfect matchings, and signed words
European Journal of Combinatorics | 2005-06-30 | Paper |
A CLASS OF GRAPHS WHICH HAS EFFICIENT RANKING AND UNRANKING ALGORITHMS FOR SPANNING TREES AND FORESTS
International Journal of Foundations of Computer Science | 2005-06-22 | Paper |
Conjectured combinatorial models for the Hilbert series of generalized diagonal harmonic modules
The Electronic Journal of Combinatorics | 2005-04-25 | Paper |
Conjectured combinatorial models for the Hilbert series of generalized diagonal harmonic modules
The Electronic Journal of Combinatorics | 2005-04-25 | Paper |
Rook theory, generalized {S}tirling numbers and {\((p,q)\)}-analogues
The Electronic Journal of Combinatorics | 2005-04-25 | Paper |
Rook theory, generalized {S}tirling numbers and {\((p,q)\)}-analogues
The Electronic Journal of Combinatorics | 2005-04-25 | Paper |
A combinatorial formula for the character of the diagonal coinvariants
Duke Mathematical Journal | 2005-04-04 | Paper |
Index sets for computable differential equations
Mathematical Logic Quarterly | 2005-02-16 | Paper |
A \(\lambda\)-ring Frobenius characteristic for \(G\wr S_n\)
The Electronic Journal of Combinatorics | 2004-10-13 | Paper |
A \(\lambda\)-ring Frobenius characteristic for \(G\wr S_n\)
The Electronic Journal of Combinatorics | 2004-10-13 | Paper |
On the expressibility of stable logic programming
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
Locally determined logic programs and recursive stable models
Annals of Mathematics and Artificial Intelligence | 2004-05-27 | Paper |
The plethysm \(s_\lambda[s_\mu\) at hook and near-hook shapes]
The Electronic Journal of Combinatorics | 2004-02-05 | Paper |
The plethysm \(s_\lambda[s_\mu\) at hook and near-hook shapes]
The Electronic Journal of Combinatorics | 2004-02-05 | Paper |
Cycles and perfect matchings.
Discrete Mathematics | 2004-01-26 | Paper |
Rook theory for perfect matchings
Advances in Applied Mathematics | 2003-08-28 | Paper |
A \(p,q\)-analogue of a formula of Frobenius
The Electronic Journal of Combinatorics | 2003-05-07 | Paper |
A \(p,q\)-analogue of a formula of Frobenius
The Electronic Journal of Combinatorics | 2003-05-07 | Paper |
Trace cocharacters and the Kronecker products of Schur functions
Journal of Algebra | 2003-04-28 | Paper |
Index sets for ω‐languages
Mathematical Logic Quarterly | 2003-03-19 | Paper |
On the Expressibility of Stable Logic Programming
Logic Programming and Nonmotonic Reasoning | 2003-03-18 | Paper |
Spanning trees and function classes
The Electronic Journal of Combinatorics | 2002-09-22 | Paper |
Spanning trees and function classes
The Electronic Journal of Combinatorics | 2002-09-22 | Paper |
Effectively closed sets and graphs of computable real functions.
Theoretical Computer Science | 2002-07-31 | Paper |
| scientific article; zbMATH DE number 1531924 (Why is no real title available?) | 2002-01-16 | Paper |
Large-scale regularities of lattice embeddings of posets
Order | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1421070 (Why is no real title available?) | 2000-11-14 | Paper |
A simple proof of the Littlewood-Richardson rule and applications.
Discrete Mathematics | 2000-11-02 | Paper |
Formulas for the expansion of the plethysms \(s_ 2[s_{(a,b)}\) and \(s_ 2[s_{(n^ k)}]\).]
Discrete Mathematics | 2000-11-02 | Paper |
| scientific article; zbMATH DE number 1302879 (Why is no real title available?) | 2000-07-27 | Paper |
| scientific article; zbMATH DE number 1303202 (Why is no real title available?) | 2000-06-29 | Paper |
Nonmonotonic rule systems with recursive sets of restraints
Archive for Mathematical Logic | 2000-06-14 | Paper |
Feasible graphs with standard universe
Annals of Pure and Applied Logic | 2000-06-14 | Paper |
| scientific article; zbMATH DE number 1453054 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1123617 (Why is no real title available?) | 2000-03-14 | Paper |
| scientific article; zbMATH DE number 1302869 (Why is no real title available?) | 2000-02-15 | Paper |
Index sets for \(\Pi^0_1\) classes
Annals of Pure and Applied Logic | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1303200 (Why is no real title available?) | 1999-09-15 | Paper |
| scientific article; zbMATH DE number 1301617 (Why is no real title available?) | 1999-09-02 | Paper |
Logic programs, well-orderings, and forward chaining
Annals of Pure and Applied Logic | 1999-06-24 | Paper |
Index sets in computable analysis
Theoretical Computer Science | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1182842 (Why is no real title available?) | 1999-04-09 | Paper |
Complexity and categoricity
Information and Computation | 1998-05-04 | Paper |
A theory of nonmonotonic rule systems I
Annals of Mathematics and Artificial Intelligence | 1997-12-14 | Paper |
Quasi-simple relations in copies of a given recursive structure
Annals of Pure and Applied Logic | 1997-10-14 | Paper |
Combinatorics of the \(q\)-basis of symmetric functions
Journal of Combinatorial Theory. Series A | 1997-06-22 | Paper |
Applications of the Frobenius formulas for the characters of the symmetric group and the Hecke algebras of type A
Journal of Algebraic Combinatorics | 1997-05-22 | Paper |
A theory of nonmonotonic rule systems. II
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Transition matrices and kronecker product expansions of symmetric functions
Linear and Multilinear Algebra | 1997-05-11 | Paper |
McNaughton games and extracting strategies for concurrent programs
Annals of Pure and Applied Logic | 1997-03-31 | Paper |
Annotated nonmonotonic rule systems
Theoretical Computer Science | 1997-02-28 | Paper |
Viability in hybrid systems
Theoretical Computer Science | 1997-02-28 | Paper |
A combinatorial proof of the equivalence of the classical and combinatorial definitions of Schur function
Journal of Combinatorial Theory. Series A | 1996-12-09 | Paper |
On the lattices of NP-subspaces of a polynomial time vector space over a finite field
Annals of Pure and Applied Logic | 1996-11-25 | Paper |
| scientific article; zbMATH DE number 806746 (Why is no real title available?) | 1996-09-22 | Paper |
The combinatorics of transition matrices between the bases of the symmetric functions and the \(B_ n\) analogues
Discrete Mathematics | 1996-07-07 | Paper |
| scientific article; zbMATH DE number 841581 (Why is no real title available?) | 1996-07-02 | Paper |
Permutation enumeration of the symmetric group and the combinatorics of symmetric functions
Journal of Combinatorial Theory. Series A | 1996-03-05 | Paper |
Feasible Graphs and Colorings
Mathematical Logic Quarterly | 1995-12-13 | Paper |
On the Kronecker product of Schur functions of two row shapes
Bulletin of the Belgian Mathematical Society - Simon Stevin | 1995-12-04 | Paper |
| scientific article; zbMATH DE number 749915 (Why is no real title available?) | 1995-11-09 | Paper |
| scientific article; zbMATH DE number 749938 (Why is no real title available?) | 1995-05-01 | Paper |
| scientific article; zbMATH DE number 749925 (Why is no real title available?) | 1995-05-01 | Paper |
The Stable Models of a Predicate Logic Program
The Journal of Logic Programming | 1995-02-06 | Paper |
A context for belief revision: forward chaining-normal nonmonotonic rule systems
Annals of Pure and Applied Logic | 1994-11-03 | Paper |
On speedable and levelable vector spaces
Annals of Pure and Applied Logic | 1994-06-08 | Paper |
| scientific article; zbMATH DE number 176202 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176213 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176212 (Why is no real title available?) | 1993-05-18 | Paper |
Recursively presented games and strategies
Mathematical Social Sciences | 1992-12-16 | Paper |
Polynomial-time Abelian groups
Annals of Pure and Applied Logic | 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)}\)
Discrete Mathematics | 1992-09-27 | Paper |
How complicated is the set of stable models of a recursive logic program?
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Cancellation laws for polynomial-time \(p\)-isolated sets
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Polynomial-time versus recursive models
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
Brick tabloids and the connection matrices between bases of symmetric functions
Discrete Applied Mathematics | 1992-06-28 | Paper |
Π01-classes and Rado's selection principle
Journal of Symbolic Logic | 1992-06-27 | Paper |
A combinatorial interpretation of the inverse kostka matrix
Linear and Multilinear Algebra | 1992-06-25 | Paper |
A bijective proof of a factorization theorem for (k,l)-hook schur functions
Linear and Multilinear Algebra | 1992-06-25 | Paper |
Combinatorial algorithms for the expansion of various products of Schur functions
Acta Applicandae Mathematicae | 1992-06-25 | Paper |
The monomial symmetric functions and the Frobenius map
Journal of Combinatorial Theory. Series A | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4148067 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4156426 (Why is no real title available?) | 1990-01-01 | Paper |
A formula for the Kronecker products of Schur functions of hook shapes
Journal of Algebra | 1989-01-01 | Paper |
Complexity-theoretic algebra. II: Boolean algebras
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Classification of degree classes associated with r.e. subspaces
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4181310 (Why is no real title available?) | 1989-01-01 | Paper |
A combinatorial proof of the Giambelli identity for Schur functions
Advances in Mathematics | 1988-01-01 | Paper |
Computing cocharacters of sign trace identities
Linear and Multilinear Algebra | 1988-01-01 | Paper |
Permutation statistics and \((k,\ell)\)-hook Schur functions
Discrete Mathematics | 1987-01-01 | Paper |
Recursively rigid Boolean algebras
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Degrees of Splittings and Bases of Recursively Enumerable Subspace
Transactions of the American Mathematical Society | 1987-01-01 | Paper |
The undecidability of the lattice of r. e. closed subsets of an effective topological space
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
The spread of a partial order
Order | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4087025 (Why is no real title available?) | 1987-01-01 | Paper |
Automorphisms and Recursive Structures
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
Bijections for Cayley trees, spanning trees, and their q-analogues
Journal of Combinatorial Theory. Series A | 1986-01-01 | Paper |
Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Q-counting rook configurations and a formula of Frobenius
Journal of Combinatorial Theory. Series A | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3997800 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3954891 (Why is no real title available?) | 1986-01-01 | Paper |
Generic objects in recursion theory. II: Operations on recursive approximation spaces
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Shuffles of permutations and the Kronecker product
Graphs and Combinatorics | 1985-01-01 | Paper |
Hook flag characters and their combinatorics
Journal of Pure and Applied Algebra | 1985-01-01 | Paper |
A combinatorial view of Andrews' proof of the L-M-W conjectures
European Journal of Combinatorics | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3914305 (Why is no real title available?) | 1985-01-01 | Paper |
| Degrees of Indiscernibles in Decidable Models | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3959412 (Why is no real title available?) | 1985-01-01 | Paper |
Multiplying Schur functions
Journal of Algorithms | 1984-01-01 | Paper |
A bijective proof of the generating function for the number of reverse plane partitions via lattice paths
Linear and Multilinear Algebra | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3889534 (Why is no real title available?) | 1984-01-01 | Paper |
The universal splitting property. II
Journal of Symbolic Logic | 1984-01-01 | Paper |
The universal complementation property
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3896923 (Why is no real title available?) | 1984-01-01 | Paper |
A note on a recursion for the number of derangements
European Journal of Combinatorics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3878912 (Why is no real title available?) | 1983-01-01 | Paper |
A bijective proof of the Hook formula for the number of column strict tableaux with bounded entries
European Journal of Combinatorics | 1983-01-01 | Paper |
Degrees of recursively enumerable topological spaces
Journal of Symbolic Logic | 1983-01-01 | Paper |
Indiscernibles and decidable models
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3880676 (Why is no real title available?) | 1983-01-01 | Paper |
Bijective proofs of formulae for the number of standard Yound tableaux
Linear and Multilinear Algebra | 1982-01-01 | Paper |
Bijective proofs of some classical partition identities
Journal of Combinatorial Theory. Series A | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3833945 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3782988 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3831932 (Why is no real title available?) | 1982-01-01 | Paper |
| Recursively Categorical Linear Orderings | 1981-01-01 | Paper |
Recursive isomorphism types of recursive Boolean algebras
Journal of Symbolic Logic | 1981-01-01 | Paper |
Recursive Boolean algebras with recursive atoms
Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3771581 (Why is no real title available?) | 1981-01-01 | Paper |
Symmetric functions and raising operators
Linear and Multilinear Algebra | 1981-01-01 | Paper |
On the Effectiveness of the Schroder-Bernstein Theorem
Proceedings of the American Mathematical Society | 1981-01-01 | Paper |
Partial orderings of fixed finite dimension: Model companions and density
Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3763906 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3782987 (Why is no real title available?) | 1981-01-01 | Paper |
On r.e. and co-r.e. vector spaces with nonextendible bases
Journal of Symbolic Logic | 1980-01-01 | Paper |
A combinatorial interpretation of q-derangement and q-Laguerre numbers
European Journal of Combinatorics | 1980-01-01 | Paper |
Recursion theory on algebraic structures with independent sets
Annals of Mathematical Logic | 1980-01-01 | Paper |
Complementation in the lattice of subalgebras of a Boolean algebra
Algebra Universalis | 1980-01-01 | Paper |
Recursion theory on orderings. II
Journal of Symbolic Logic | 1980-01-01 | Paper |
CO‐Simple Higher‐Order Indecomposable Isols
Mathematical Logic Quarterly | 1980-01-01 | Paper |
Recursion theory on orderings. I. A model theoretic setting
Journal of Symbolic Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3663377 (Why is no real title available?) | 1979-01-01 | Paper |
R-maximal Boolean algebras
Journal of Symbolic Logic | 1979-01-01 | Paper |
A r-maximal vector space not contained in any maximal vector space
Journal of Symbolic Logic | 1978-01-01 | Paper |
Recursively enumerable Boolean algebras
Annals of Mathematical Logic | 1978-01-01 | Paper |
Maximal and Cohesive vector spaces
Journal of Symbolic Logic | 1978-01-01 | Paper |
Realizing partial orderings by classes of co-simple sets
Pacific Journal of Mathematics | 1978-01-01 | Paper |
Combinational functors on co-r.e. structures
Annals of Mathematical Logic | 1976-01-01 | Paper |
Co-hypersimple structures
Journal of Symbolic Logic | 1976-01-01 | Paper |
