Middeldorp, Aart, 1963-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Middeldorp, Aart
Middeldorp, A. (Aart), 1963-
Aart Middeldorp chercheur en informatique
VIAF ID: 27927696 (Personal)
Permalink: http://viaf.org/viaf/27927696
Preferred Forms
-
100 0 _
‡a
Aart Middeldorp
‡c
chercheur en informatique
-
100 1 _ ‡a Middeldorp, A. ‡q (Aart), ‡d 1963-
-
100 1 _ ‡a Middeldorp, Aart
-
100 1 _ ‡a Middeldorp, Aart
-
100 1 _
‡a
Middeldorp, Aart
-
100 1 _ ‡a Middeldorp, Aart ‡d (1963- ).
-
100 1 _
‡a
Middeldorp, Aart
‡d
1963-
-
100 1 _
‡a
Middeldorp, Aart
‡d
1963-...
-
100 1 _ ‡a Middeldorp, Aart, ‡d 1963-
-
100 1 _ ‡a Middeldorp, Aart, ‡d 1963-
-
100 1 _
‡a
Middeldorp, Aart,
‡d
1963-
-
100 1 _ ‡a Middeldorp, Aart, ‡d 1963-
-
100 1 _
‡a
Middeldorp, Aart,
‡d
1963-....
4xx's: Alternate Name Forms (3)
Works
| Title | Sources |
|---|---|
| Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings |
|
| Completeness of combinations of constructor systems |
|
| Counterexamples to completeness results for basic narrowing |
|
| Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting |
|
| FLOPS'99 |
|
| Functional and logic programming : 4th Fuji international symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings |
|
| An introduction to Knuth-Bendix completion |
|
| Modular aspects of properties of term rewriting systems related to normal forms |
|
| New directions in rewriting : (honoring the 60th birthday of Yoshihito Toyama) |
|
| Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday |
|
| A rewrite approach to polynomial ideal theory |
|
| Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings |
|
| RTA 2001 |
|
| Simple termination revisited |
|
| Specification of a sliding window protocol within the framework of process algebra |
|
| Strongly sequential term rewriting systems |
|
| A sufficient condition for the termination of the direct sum of term rewriting systems |
|
| Termherschrijfsystemen |
|
| Terminaison en présence de types dépendants et encodage par réécriture d’une théorie des types extensionelle avec polymorphisme d’univers. |
|
| Transforming termination by self-labelling |
|
| 簡約戦略に関する研究 |
|
