Q3998025
type: Item
instance of: scholarly article
zbMATH Open document ID: 0743.68017
publication date: 1992-09-17T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 49223
zbMATH Keywords: Gaussig (Germany)
zbMATH Keywords: Algebraic
zbMATH Keywords: Logic programming
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: logic programming
zbMATH Keywords: algebraic programming
zbMATH Keywords: specification
zbMATH Keywords: term rewriting
zbMATH Keywords: equation solving techniques
zbMATH Keywords: modularity
describes a project that uses: BABEL
MaRDI profile type: Publication
Recommended article: Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Recommended article: Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings
Recommended article: Q4002242
Recommended article: Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
Recommended article: Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings
Recommended article: Q4362335
Recommended article: Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings
Recommended article: Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings
Recommended article: Q4002277
description: scientific article