E-LIB Suche - Ergebnisse für: Remmel, J.B.

1

On the complexity of index sets for finite predicate logic ..:

Cenzer, D ; Marek, V W ; Remmel, J B
Journal of Logic and Computation. 30 (2020) 1 - p. 107-156 , 2020

Link: https://doi.org/10.1093/..

2

Computability-Theoretic Properties of Injection Structures:

Cenzer*, D. ; Harizanov**, V. ; Remmel***, J. B.
Algebra and Logic. 53 (2014) 1 - p. 39-69 , 2014

Link: https://doi.org/10.1007/..

3

Two-to-one structures:

Cenzer, D. ; Harizanov, V. ; Remmel, J. B.
Journal of Logic and Computation. 23 (2013) 6 - p. 1195-1223 , 2013

Link: https://doi.org/10.1093/..

4

Guarded resolution for Answer Set Programming:

MAREK, V. W. ; REMMEL, J. B.
Theory and Practice of Logic Programming. 11 (2010) 1 - p. 111-123 , 2010

Link: https://doi.org/10.1017/..

5

K-Triviality of Closed Sets and Continuous Functions:

Barmpalias, G. ; Cenzer, D. ; Remmel, J. B..
Journal of Logic and Computation. 19 (2009) 1 - p. 3-16 , 2009

Link: https://doi.org/10.1093/..

6

Set based logic programming:

Blair, H. A. ; Marek, V. W. ; Remmel, J. B.
Annals of Mathematics and Artificial Intelligence. 52 (2008) 1 - p. 81-105 , 2008

Link: https://doi.org/10.1007/..

7

Enumeration of m-tuples of permutations and a new class of ..:

Langley, T.M. ; Remmel, J.B.
Advances in Applied Mathematics. 36 (2006) 1 - p. 30-66 , 2006

Link: https://doi.org/10.1016/..

8

Statistics on wreath products, perfect matchings, and signe..:

Haglund, J. ; Loehr, N. ; Remmel, J.B.
European Journal of Combinatorics. 26 (2005) 6 - p. 835-868 , 2005

Link: https://doi.org/10.1016/..

9

Cycles and perfect matchings:

Haglund, J. ; Remmel, J.B.
Discrete Mathematics. 274 (2004) 1-3 - p. 93-108 , 2004

Link: https://doi.org/10.1016/..

10

Trace cocharacters and the Kronecker products of Schur func..:

Carbonara, J.O. ; Carini, L. ; Remmel, J.B.
Journal of Algebra. 260 (2003) 2 - p. 631-656 , 2003

Link: https://doi.org/10.1016/..

11

Rook Theory for Perfect Matchings:

Haglund, J. ; Remmel, J.B.
Advances in Applied Mathematics. 27 (2001) 2-3 - p. 438-481 , 2001

Link: https://doi.org/10.1006/..

12

Comparative Genomics of Listeria Species:

Glaser, P. ; Frangeul, L. ; Buchrieser, C....
Science. 294 (2001) 5543 - p. 849-852 , 2001

Link: https://www.jstor.org/st..

13

Logic programs, well-orderings and forward chaining:

Marek, V.W. ; Nerode, A. ; Remmel, J.B.
Annals of Pure and Applied Logic. 96 (1999) 1-3 - p. 231-276 , 1999

Link: https://doi.org/10.1016/..

14

Introduction to the handbook of Recursive Mathematics:

, In: Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory; Studies in Logic and the Foundations of Mathematics,

Ershov, Y.L. ; Goncharov, S.S. ; Nerode, A.. - p. vii-xlvi , 1998

Link: https://doi.org/10.1016/..

15

Introduction to the handbook of recursive mathematics:

, In: Studies in Logic and the Foundations of Mathematics; Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics,

Ershov, Y.L. ; Goncharov, S.S. ; Nerode, A.. - p. vii-xlvi , 1998

Link: https://doi.org/10.1016/..