Index
Browse
Bibliographies
My selection
S
earch:
in
All
Authors
Titles
Conferences
Journals
Keywords
Comments
(word length ≥ 3)
Login
References of
Jean-Marc
Talbot
Order by:
Type
| Year
<<
1999
>>
1
Joachim Niehren
,
Martin Müller
and
Jean-Marc Talbot
.
Entailment of Atomic Set Constraints is PSPACE-Complete
. In
14th Annual IEEE Symposium on Logic in Computer Science (LICS '99), July 2-5
, Pages 285-294, IEEE Press, Trento, Italy,
1999
.
[
Abstract
]
google
[
Annote
]
<<
1998
>>
2
Joachim Niehren
,
Martin Müller
and
Jean-Marc Talbot
.
Entailment of Atomic Set Constraints is PSPACE-Complete
. Technical report, Technical Report,
Universität des Saarlandes, Programming Systems Lab
, Saarbrücken,
1998
.
[
Abstract
]
google
[
Annote
]
Last modified: Thu October 16 2014 19:11:34