Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Remmel, J.B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Basic forward chaining construction for logic programs
V.W. Marek
,
A. Nerode
,
J.B. Remmel
Lecture Notes in Computer Science
1234
, 1997, pp. 214-225
Annotated nonmonotonic rule systems
A. Nerode
,
J.B. Remmel
,
V.S. Subrahmanian
Theoretical Computer Science
171
(1-2), 1997, pp. 111-146
Complexity of normal default logic and related modes of nonmonotonic reasoning
V.W. Marek
,
A. Nerode
,
J.B. Remmel
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 178-185
Special rim hook tabloids and some new multiplicity-free
S
-series
J.B. Remmel
,
M. Yang
SIAM Journal on Discrete Mathematics
4
(2), 1991, May, pp. 253-274
Complexity theoretic algebra I: Vector spaces over finite fields
A. Nerode
,
J.B. Remmel
Proceedings of the 2nd Annual Conference on Structure in Complexity Theory, CSCT'87 (Cornell University, Ithaca, NY, June 16-19, 1987)
, 1987, pp. 218-239
Q
-counting Rook configurations and a formula of Frobenius
A.M. Garsia
,
J.B. Remmel
Journal of Combinatorial Theory Series A
41
, 1986, pp. 246-275
Multiplying Schur functions
J.B. Remmel
,
R. Whitney
Journal of Algorithms
5
(4), 1984, pp. 471-487