Pages that link to "Item:Q1188886"
From MaRDI portal
The following pages link to Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings (Q1188886):
Displaying 12 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Programming language implementation and logic programming. International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990. Proceedings (Q1188853) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Q1801227) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings (Q2565250) (← links)
- Algebraic and logic programming. 4th international conference, ALP '94, Madrid, Spain, September 14--16, 1994. Proceedings (Q2565266) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29--December 1, 1999 (Q2743162) (← links)
- (Q3998025) (← links)
- From LP to LP: Programming with constraints (Q5096231) (← links)
- The Maude strategy language (Q6113021) (← links)
