-
1
-
-
0028425519
-
Logic programming and negation: A survey
-
K. R. Apt,R. N. Bol Logic programming and negation: A survey Journal of Logic Programming 19, 20, 9-71, 1994.
-
(1994)
Journal of Logic Programming
, vol.19
, Issue.20
, pp. 9-71
-
-
Apt, K.R.1
Bol, R.N.2
-
3
-
-
0032687460
-
Semantics of (disjunctive) logic programs based on partial evaluation
-
S. Brass and J. Dix. Semantics of (disjunctive) logic programs based on partial evaluation. Journal of Logic Programming, 40:1-46, 1999.
-
(1999)
Journal of Logic Programming
, vol.40
, pp. 1-46
-
-
Brass, S.1
Dix, J.2
-
4
-
-
0017419683
-
A transformation system for developing recursive programs
-
January
-
R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. JACM, 24(1):44-67, January 1977.
-
(1977)
JACM
, vol.24
, Issue.1
, pp. 44-67
-
-
Burstall, R.M.1
Darlington, J.2
-
5
-
-
0029695436
-
Tabled evaluation with delaying for general logic programs
-
W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. JACM, 43(1), 1996.
-
(1996)
JACM
, vol.43
, pp. 1
-
-
Chen, W.1
Warren, D.S.2
-
6
-
-
0000826543
-
Negation as failure
-
In H. Gallaire and J. Minker (eds.) Plenum Press, New York
-
K. L. Clark. Negation as failure. In H. Gallaire and J. Minker (eds.) Logic and Data Bases, 293-322. Plenum Press, New York, 1978.
-
(1978)
Logic and Data Bases
, pp. 293-322
-
-
Clark, K.L.1
-
8
-
-
46149136995
-
Equivalences and transformations of regular systems-Applications to recursive program schemes and grammars
-
B. Courcelle. Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. Theo. Comp. Sci., 42:1-122, 1986.
-
(1986)
Theo. Comp. Sci
, vol.42
, pp. 1-122
-
-
Courcelle, B.1
-
10
-
-
0010550065
-
-
DAIMI FN-10 Department of Computer Science University of Aarhus Denmark April
-
J. Engelfriet. Tree Automata and Tree Grammars. DAIMI FN-10, Department of Computer Science, University of Aarhus, Denmark, April 1975.
-
(1975)
Tree Automata and Tree Grammars
-
-
Engelfriet, J.1
-
11
-
-
0347165473
-
Unfold/fold program transformation
-
In M. Nivat and J.C. Reynolds (eds.) Cambridge University Press
-
L. Kott. Unfold/fold program transformation. In M. Nivat and J.C. Reynolds (eds.) Algebraic Methods in Semantics, 411-434. Cambridge University Press, 1985.
-
(1985)
Algebraic Methods in Semantics
, pp. 411-434
-
-
Kott, L.1
-
13
-
-
0033224250
-
Synthesis and transformation of logic programs using unfold/fold proofs
-
A. Pettorossi and M. Proietti. Synthesis and transformation of logic programs using unfold/fold proofs. Journal of Logic Programming, 41(2&3):197-230, 1999.
-
(1999)
Journal of Logic Programming
, vol.41
, Issue.2-3
, pp. 197-230
-
-
Pettorossi, A.1
Proietti, M.2
-
14
-
-
0344000680
-
Unfolding-de-nition-folding in this order for avoid-ing unnecessary variables in logic programs
-
M. Proietti and A.Pettorossi. Unfolding-de-nition-folding, in this order, for avoid-ing unnecessary variables in logic programs. Theo.Comp. Sci.,142(1):89-124, 1995.
-
(1995)
Theo.Comp. Sci
, vol.142
, Issue.1
, pp. 89-124
-
-
Proietti, M.1
Pettorossi, A.2
-
15
-
-
0024680644
-
On the declarative and procedural semantics of logic programs
-
T. C. P rzymusinski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5:167-205, 1989.
-
(1989)
Journal of Automated Reasoning
, vol.5
, pp. 167-205
-
-
Przymusinski, T.C.1
-
16
-
-
84968501436
-
Decidability of second-order theories and automata on infinite trees
-
July
-
M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, 141:1-34, July 1969.
-
(1969)
Transactions of the American Mathematical Society
, vol.141
, pp. 1-34
-
-
Rabin, M.O.1
-
17
-
-
84863927612
-
Verification of parametrized systems using logic program trans-formations
-
Springer
-
A. Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan, and S. A. Smolka. Verification of parametrized systems using logic program trans-formations. In Proc. TACAS 2000, LNCS 1785, 172-187. Springer, 2000.
-
(2000)
Proc. TACAS 2000, LNCS
, vol.1785
, pp. 172-187
-
-
Roychoudhury, A.1
Narayan Kumar, K.2
Ramakrishnan, C.R.3
Ramakrishnan, I.V.4
Smolk, S.A.5
-
18
-
-
84947433380
-
Efficient model checking using tabled resolution
-
Springer
-
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. Swift, and D. S. Warren. Efficient model checking using tabled resolution. In Proc. CAV '97, LNCS 1254, 143-154. Springer, 1997.
-
(1997)
Proc. CAV '97, LNCS
, vol.1254
, pp. 143-154
-
-
Ramakrishna, Y.S.1
Ramakrishnan, C.R.2
Ramakrishnan, I.V.3
Smolka, S.A.4
Swift, T.5
Warren, D.S.6
-
19
-
-
0026203673
-
Unfold/fold transformation of strati-ed programs
-
H. Seki. Unfold/fold transformation of strati-ed programs. Theo. Comp. Sci., 86:107-139, 1991.
-
(1991)
Theo. Comp. Sci
, vol.86
, pp. 107-139
-
-
Seki, H.1
-
20
-
-
0002086541
-
Unfold/fold transformation of logic programs
-
Uppsala University, Sweden
-
H. Tamaki and T. Sato. Unfold/fold transformation of logic programs. In Proceed-ings of ICLP'84, 127-138. Uppsala University, Sweden, 1984.
-
(1984)
Proceed-ings of ICLP'84
, pp. 127-138
-
-
Tamaki, H.1
Sato, T.2
|