Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 3 of 3 |
Sort by
|
Book
Unique normal forms for disjoint unions of conditional term rewriting systems
Loading...
Author: Middeldorp, Aart
Year: 1990 Publisher: Amsterdam: Centrum voor wiskunde en informatica,
Year: 1990 Publisher: Amsterdam: Centrum voor wiskunde en informatica,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
Modular properties of term rewriting systems
Loading...
Author: Middeldorp, Aart
Year: 1990 Publisher: Amsterdam Vrije Universiteit
Year: 1990 Publisher: Amsterdam Vrije Universiteit
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Book
Completeness of combinations of constructor systems
Loading...
Authors:
Middeldorp, Aart
---
Toyama, Yoshihito
Year: 1990 Publisher: Amsterdam: Centrum voor wiskunde en informatica,
Year: 1990 Publisher: Amsterdam: Centrum voor wiskunde en informatica,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 3 of 3 |
Sort by
|