|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | About the unification type of K+□□⊥ |
Balbiani, Philippe |
|
90 | 5 |
p. 481-497 |
artikel |
|
| 2 | Functions-as-constructors higher-order unification: extended pattern unification |
Libal, Tomer |
|
90 | 5 |
p. 455-479 |
artikel |
|
| 3 | Order-sorted equational generalization algorithm revisited |
Alpuente, María |
|
90 | 5 |
p. 499-522 |
artikel |
|
| 4 | Preface |
Kutsia, Temur |
|
90 | 5 |
p. 453-454 |
artikel |
|
| 5 | The undecidability of proof search when equality is a logical connective |
Miller, Dale |
|
90 | 5 |
p. 523-535 |
artikel |
5 gevonden resultaten