Index
Browse
Bibliographies
My selection
S
earch:
in
All
Authors
Titles
Conferences
Journals
Keywords
Comments
(word length ≥ 3)
Login
Reference no #639
Type : Html |
Bib
|
Both
Created:
2007-12-12 11:30:32
639
Jan Jaspars
and
Alexander Koller
.
A Calculus for Direct Deduction with Dominance Constraints
. In
12th Amsterdam Colloquium (AC '99)
, Amsterdam, The Netherlands,
1999
.
[
Abstract
]
google
[
Annote
]
Last modified: Thu October 16 2014 19:11:34