Higher-order algebra, logic, and term rewriting. Second international workshop, HOA '95, Paderborn, Germany, September 21--22, 1995. Selected papers
type: Item
instance of: scholarly article
title: Higher-order algebra, logic, and term rewriting. Second international workshop, HOA '95, Paderborn, Germany, September 21--22, 1995. Selected papers
zbMATH Open document ID: 0851.00044
DOI: 10.1007/3-540-61254-8
published in: Lecture Notes in Computer Science
publication date: 1996-08-04T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 912803
zbMATH Keywords: Higher-order-algebra
zbMATH Keywords: Logic
zbMATH Keywords: Term rewriting
zbMATH Keywords: Workshop
zbMATH Keywords: Paderborn (Germany)
zbMATH Keywords: Proceedings
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-61254-8
OpenAlex ID: W4210321167
Recommended article: Higher-order algebra, logic, and term rewriting. 1st International Workshop, HOA '93, Amsterdam, the Netherlands, September 23-24, 1993. Selected papers
Recommended article: Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
Recommended article: Q4306649
Recommended article: Higher order logic theorem proving and its applications. 6th International Workshop, HUG '93, Vancouver, B. C., Canada, August 11-13, 1993. Proceedings
Recommended article: Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings
Recommended article: Theorem proving in higher order logics. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20--23, 2002. Proceedings
Recommended article: Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996
Recommended article: Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Recommended article: Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22--25, 2005. Proceedings.
Recommended article: Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings
description: scientific article; zbMATH DE number 912803