-
1
-
-
0002902902
-
Decidability of systems of set constraints with negative constraints
-
A. Aiken, D. Kozen, and E. Wimmers. Decidability of systems of set constraints with negative constraints. Information and Computation, 122, 1995.
-
(1995)
Information and Computation
, vol.122
-
-
Aiken, A.1
Kozen, D.2
Wimmers, E.3
-
2
-
-
0028013810
-
Soft typing with conditional types
-
New York, NY
-
A. Aiken, E. L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Proc. 21st ACM POPL, pages 163-173, New York, NY, 1994.
-
(1994)
Proc. 21st ACM POPL
, pp. 163-173
-
-
Aiken, A.1
Wimmers, E.L.2
Lakshman, T.K.3
-
3
-
-
0028762192
-
A feature constraint system for logic programming with entailment
-
January
-
H. Ait-Kaci, A. Podelski, and G. Smolka. A feature constraint system for logic programming with entailment. In Theoretical Computer Science, volume 122, pages 263-283, January 1994.
-
(1994)
Theoretical Computer Science
, vol.122
, pp. 263-283
-
-
Ait-Kaci, H.1
Podelski, A.2
Smolka, G.3
-
6
-
-
0013212265
-
A complete axiomatization of a theory with feature and arity constraints
-
R. Backofen. A complete axiomatization of a theory with feature and arity constraints. Journal of Logic Programming, 24:37-72, 1995.
-
(1995)
Journal of Logic Programming
, vol.24
, pp. 37-72
-
-
Backofen, R.1
-
9
-
-
0000109492
-
Equational formulae with membership constraints
-
H. Comon and C. Delor. Equational formulae with membership constraints. Information and Computation, 112(2):167-216, 1994.
-
(1994)
Information and Computation
, vol.112
, Issue.2
, pp. 167-216
-
-
Comon, H.1
Delor, C.2
-
11
-
-
38249020685
-
A uniform method for proving lower bounds on the computational complexity of logical theories
-
July
-
K. J. Compton and C. W. Henson. A uniform method for proving lower bounds on the computational complexity of logical theories. Annals of Pure and Applied Logic, 48(1):1-79, July 1990.
-
(1990)
Annals of Pure and Applied Logic
, vol.48
, Issue.1
, pp. 1-79
-
-
Compton, K.J.1
Henson, C.W.2
-
12
-
-
0034547252
-
Intersection types and computational effects
-
R. Davies and F. Pfenning. Intersection types and computational effects. In Proc. ICFP, pages 198-208, 2000.
-
(2000)
Proc. ICFP
, pp. 198-208
-
-
Davies, R.1
Pfenning, F.2
-
13
-
-
0002626181
-
The first order properties of products of algebraic systems
-
S. Feferman and R. L. Vaught. The first order properties of products of algebraic systems. Fundamenta Mathematicae, 47:57-103, 1959.
-
(1959)
Fundamenta Mathematicae
, vol.47
, pp. 57-103
-
-
Feferman, S.1
Vaught, R.L.2
-
14
-
-
0003224818
-
The computational complexity of logical theories
-
Springer-Verlag
-
J. Ferrante and C. W. Rackoff. The Computational Complexity of Logical Theories, volume 718 of Lecture Notes in Mathematics. Springer-Verlag, 1979.
-
(1979)
Lecture Notes in Mathematics
, vol.718
-
-
Ferrante, J.1
Rackoff, C.W.2
-
16
-
-
0037188205
-
Satisfying subtype inequalities in polynomial space
-
A. Frey. Satisfying subtype inequalities in polynomial space. Theoretical Computer Science, 277:105-117, 2002.
-
(2002)
Theoretical Computer Science
, vol.277
, pp. 105-117
-
-
Frey, A.1
-
17
-
-
84942452518
-
Ultra-fast aliasing analysis using CLA: A million lines of C code in a second
-
N. Heintze and O. Tardieu. Ultra-fast aliasing analysis using CLA: A million lines of C code in a second. In Proc. ACM PLDI, 2001.
-
(2001)
Proc. ACM PLDI
-
-
Heintze, N.1
Tardieu, O.2
-
18
-
-
0030661124
-
The complexity of subtype entailment for simple types
-
F. Henglein and J. Rehof. The complexity of subtype entailment for simple types. In Proc. 12th IEEE LICS, pages 352-361, 1997.
-
(1997)
Proc. 12th IEEE LICS
, pp. 352-361
-
-
Henglein, F.1
Rehof, J.2
-
19
-
-
0029205084
-
Lower bounds on type inference with subtypes
-
M. Hoand and J. C. Mitchell. Lower bounds on type inference with subtypes. In Proc. 22rd ACM POPL, pages 176-185, 1995.
-
(1995)
Proc. 22rd ACM POPL
, pp. 176-185
-
-
Hoand, M.1
Mitchell, J.C.2
-
22
-
-
84956993662
-
A mechanization of strong Kleene logic for partial functions
-
A. Bundy, editor, Proc. 12th CADE, Nancy, France. Springer Verlag, Berlin, Germany
-
M. Kerber and M. Kohlhase. A mechanization of strong Kleene logic for partial functions. In A. Bundy, editor, Proc. 12th CADE, pages 371-385, Nancy, France, 1994. Springer Verlag, Berlin, Germany. LNAI 814.
-
(1994)
LNAI
, vol.814
, pp. 371-385
-
-
Kerber, M.1
Kohlhase, M.2
-
23
-
-
0004210235
-
-
D. Van Nostrand Company, Inc., Princeton, New Jersey. fifth reprint, 1967
-
S. C. Kleene. Introduction to Metamathematics. D. Van Nostrand Company, Inc., Princeton, New Jersey, 1952. fifth reprint, 1967.
-
(1952)
Introduction to Metamathematics
-
-
Kleene, S.C.1
-
24
-
-
84976015403
-
Efficient recursive subtyping
-
D. Kozen, J. Palsberg, and M. I. Schwartzbach. Efficient recursive subtyping. Mathematical Structures in Computer Science, 5(1):113-125, 1995.
-
(1995)
Mathematical Structures in Computer Science
, vol.5
, Issue.1
, pp. 113-125
-
-
Kozen, D.1
Palsberg, J.2
Schwartzbach, M.I.3
-
25
-
-
0041524811
-
On the theory of structural subtyping
-
Laboratory for Computer Science, Massachusetts Institute of Technology
-
V. Kuncak and M. Rinard. On the theory of structural subtyping. Technical Report 879, Laboratory for Computer Science, Massachusetts Institute of Technology, http://www.mit.edu/̃vkuncak/papers/, 2003.
-
(2003)
Technical Report
, vol.879
-
-
Kuncak, V.1
Rinard, M.2
-
27
-
-
0043027712
-
Complete axiomatizations of the algebras of the finite, rational, and infinite trees
-
M. J. Maher. Complete axiomatizations of the algebras of the finite, rational, and infinite trees. Proc. 3rd IEEE LICS, 1988.
-
(1988)
Proc. 3rd IEEE LICS
-
-
Maher, M.J.1
-
30
-
-
0001962915
-
On direct products of theories
-
March
-
A. Mostowski. On direct products of theories. Journal of Symbolic Logic, 17(1):1-31, March 1952.
-
(1952)
Journal of Symbolic Logic
, vol.17
, Issue.1
, pp. 1-31
-
-
Mostowski, A.1
-
31
-
-
0034713207
-
Ordering constraints over feature trees expressed in second-order monadic logic
-
M. Mueller and J. Niehren. Ordering constraints over feature trees expressed in second-order monadic logic. Information and Computation, 159(1/2):22-58, 2000.
-
(2000)
Information and Computation
, vol.159
, Issue.1-2
, pp. 22-58
-
-
Mueller, M.1
Niehren, J.2
-
32
-
-
0005294895
-
The first-order theory of ordering constraints over feature trees
-
September
-
M. Mueller, J. Niehren, and R. Treinen. The first-order theory of ordering constraints over feature trees. Discrete Mathematics and Theoretical Computer Science, 4(2):193-234, September 2001.
-
(2001)
Discrete Mathematics and Theoretical Computer Science
, vol.4
, Issue.2
, pp. 193-234
-
-
Mueller, M.1
Niehren, J.2
Treinen, R.3
-
33
-
-
0019003680
-
Fast decision procedures based on congruence closure
-
G. Nelson and D. C. Oppen. Fast decision procedures based on congruence closure. Journal of the ACM (JACM), 27(2):356-364, 1980.
-
(1980)
Journal of the ACM (JACM)
, vol.27
, Issue.2
, pp. 356-364
-
-
Nelson, G.1
Oppen, D.C.2
-
35
-
-
0035526644
-
Simplifying subtyping constraints: A theory
-
Nov.
-
F. Pottier. Simplifying subtyping constraints: A theory. Information and Computation, 170(2):153-183, Nov. 2001.
-
(2001)
Information and Computation
, vol.170
, Issue.2
, pp. 153-183
-
-
Pottier, F.1
-
36
-
-
0002217486
-
Über die vollständigkeit eines gewissen systems der aritmethik ganzer zahlen, in welchem die addition als einzige operation hervortritt
-
Warsawa
-
M. Presburger. über die Vollständigkeit eines gewissen systems der aritmethik ganzer zahlen, in welchem die addition als einzige operation hervortritt. In Comptes Rendus du premier Congrès des Mathématiciens des Pays slaves, Warsawa, pages 92-101, 1929.
-
(1929)
Comptes Rendus du Premier Congrès des Mathématiciens des Pays Slaves
, pp. 92-101
-
-
Presburger, M.1
-
37
-
-
0002022172
-
Feature logics
-
J. v. Benthem and A. ter Meulen, editors. Elsevier
-
W. C. Rounds. Feature logics. In J. v. Benthem and A. ter Meulen, editors, Handbook of Logic and Language. Elsevier, 1997.
-
(1997)
Handbook of Logic and Language
-
-
Rounds, W.C.1
-
40
-
-
0010783447
-
Untersuchungen über die axiome des klassenkalküls and über "produktations- und summationsprobleme", welche gewisse klassen von aussagen betreffen
-
Oslo
-
T. Skolem. Untersuchungen über die Axiome des Klassenkalküls and über "Produktations- und Summationsprobleme", welche gewisse Klassen von Aussagen betreffen. Skrifter utgit av Vidnskapsselskapet i Kristiania, I. klasse, no. 3, Oslo, 1919.
-
(1919)
Skrifter Utgit av Vidnskapsselskapet i Kristiania, I. Klasse
, Issue.3
-
-
Skolem, T.1
-
41
-
-
9444228921
-
Quantifier elimination in term algebras: The case of finite languages
-
V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, editors, TUM Muenchen
-
T. Sturm and V. Weispfenning. Quantifier elimination in term algebras: The case of finite languages. In V. G. Ganzha, E. W. Mayr, and E. V. Vorozhtsov, editors, Computer Algebra in Scientific Computing (CASC), TUM Muenchen, 2002.
-
(2002)
Computer Algebra in Scientific Computing (CASC)
-
-
Sturm, T.1
Weispfenning, V.2
-
42
-
-
0036041647
-
First-order theory of subtyping constraints
-
Z. Su, A. Aiken, J. Niehren, T. Priesnitz, and R. Treinen, First-order theory of subtyping constraints. In Proc. 29th ACM POPL, 2002.
-
(2002)
Proc. 29th ACM POPL
-
-
Su, Z.1
Aiken, A.2
Niehren, J.3
Priesnitz, T.4
Treinen, R.5
-
43
-
-
0043027707
-
Arithmetical classes and types of algebraically closed and real-closed fields
-
A. Tarski. Arithmetical classes and types of algebraically closed and real-closed fields. Bull. Amer. Math. Soc., 55, 64, 1192, 1949.
-
(1949)
Bull. Amer. Math. Soc.
, vol.55
, Issue.64
, pp. 1192
-
-
Tarski, A.1
-
44
-
-
0043027707
-
Arithmetical classes and types of boolean algebras
-
A. Tarski. Arithmetical classes and types of boolean algebras. Bull. Amer. Math. Soc., 55, 64, 1192, 1949.
-
(1949)
Bull. Amer. Math. Soc.
, vol.55
, Issue.64
, pp. 1192
-
-
Tarski, A.1
-
46
-
-
0042510164
-
Feature trees over arbitrary structures
-
P. Blackburn and M. de Rijke, editors, chapter 7. CSLI Publications and FoLLI
-
R. Treinen. Feature trees over arbitrary structures. In P. Blackburn and M. de Rijke, editors, Specifying Syntactic Structures, chapter 7, pages 185-211. CSLI Publications and FoLLI, 1997.
-
(1997)
Specifying Syntactic Structures
, pp. 185-211
-
-
Treinen, R.1
-
47
-
-
84957380942
-
Subtyping constrained types
-
Proc. 3rd International Static Analysis Symposium
-
V. Trifonov and S. Smith. Subtyping constrained types. In Proc. 3rd International Static Analysis Symposium, volume 1145 of Lecture Notes in Computer Science, 1996.
-
(1996)
Lecture Notes in Computer Science
, vol.1145
-
-
Trifonov, V.1
Smith, S.2
-
48
-
-
0037187424
-
Monadic second-order logic on tree-like structures
-
Mar.
-
I. Walukiewicz. Monadic second-order logic on tree-like structures. Theoretical Computer Science, 275(1-2):311-346, Mar. 2002.
-
(2002)
Theoretical Computer Science
, vol.275
, Issue.1-2
, pp. 311-346
-
-
Walukiewicz, I.1
-
49
-
-
84973964118
-
Strong normalization with non-structural subtyping
-
M. Wand, P. M. O'Keefe, and J. Palsberg. Strong normalization with non-structural subtyping. Mathematical Structures in Computer Science, 5(3):419-430, 1995.
-
(1995)
Mathematical Structures in Computer Science
, vol.5
, Issue.3
, pp. 419-430
-
-
Wand, M.1
O'Keefe, P.M.2
Palsberg, J.3
|