Giorgio Levi, Mario Rodríguez-Artalejo
Proceedings of the Fourth International Conference on Algebraic and Logic Programming
ALP, 1994.

@proceedings{ALP-1994,
	address       = "Madid, Spain",
	editor        = "Giorgio Levi and Mario Rodríguez-Artalejo",
	isbn          = "3-540-58431-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Conference on Algebraic and Logic Programming}",
	volume        = 850,
	year          = 1994,
}

Contents (20 items)

6 ×#source code
5 ×#logic programming
4 ×#proving
3 ×#concurrent
3 ×#termination
2 ×#analysis
2 ×#composition
2 ×#equation
2 ×#term rewriting

ALP-1994-Palamidessi #concurrent #constraints #programming

Concurrent Constraint Programming (CP), pp. 1–2.

ALP-1994-Miller #logic programming #multi #source code #specification #using

Specifications Using Multiple-Conclusion Logic Programs (DM), pp. 3–4.

ALP-1994-Paige #program transformation

Viewing A program Transformation System At Work (RP), p. 5.

ALP-1994-CodishM #algebra #approximate #proving

Proving Implications by Algebraic Approximation (MC, GM), pp. 6–22.

ALP-1994-Bouhoula #induction #proving

Sufficient Completeness and Parameterized Proofs by Induction (AB), pp. 23–40.

ALP-1994-BidoitH #behaviour #first-order #logic #proving #standard #theorem

Proving Behavioural Theorems with Standard First-Order Logic (MB, RH), pp. 41–58.

ALP-1994-WernerBK #how

How to Realize LSE Narrowing (AW, AB, SK), pp. 59–76.

ALP-1994-AlpuenteFV #analysis #composition #equation #source code

Compositional Analysis for Equational Horn Programs (MA, MF, GV), pp. 77–94.

ALP-1994-Balbiani #equation

Equation Solving in Projective Planes and Planar Ternary Rings (PB), pp. 95–113.

ALP-1994-BuenoHMR #concurrent #semantics #source code

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics (FB, MVH, UM, FR), pp. 114–132.

ALP-1994-Volpe #concurrent #linear #logic programming #proving

Concurrent Logic Programming as Uniform Linear Proofs (PV), pp. 133–149.

ALP-1994-Teusink #abduction #logic programming #source code

Three-Valued Completion for Abductive Logic Programs (FT), pp. 150–167.

ALP-1994-AntoyM #reduction

A Sequential Reduction Strategy (SA, AM), pp. 168–185.

ALP-1994-Gramlich #composition #confluence #on the #term rewriting #termination

On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems (BG), pp. 186–203.

ALP-1994-FerreiraZ #analysis #termination

Syntactical Analysis of Total Termination (MCFF, HZ), pp. 204–222.

ALP-1994-Marchiori #logic programming #source code #term rewriting

Logic Programs as term Rewriting Systems (MM), pp. 223–241.

ALP-1994-JonesR #functional #graph #higher-order

Higher-Order Minimal Functional Graphs (NDJ, MR), pp. 242–252.

ALP-1994-Kesner #reasoning

Reasoning about Layered, Wildcard and Product Patterns (DK), pp. 253–268.

ALP-1994-BossiC #termination

Preserving Universal Termination through Unfold/Fold (AB, NC), pp. 269–286.

ALP-1994-Marchiori94a #alias #logic programming #source code

A Logic for Variable Aliasing in Logic Programs (EM), pp. 287–304.