|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | About the unification type of K+□□⊥ |
Balbiani, Philippe |
|
90 | 5 |
p. 481-497 |
article |
|
| 2 | Functions-as-constructors higher-order unification: extended pattern unification |
Libal, Tomer |
|
90 | 5 |
p. 455-479 |
article |
|
| 3 | Order-sorted equational generalization algorithm revisited |
Alpuente, María |
|
90 | 5 |
p. 499-522 |
article |
|
| 4 | Preface |
Kutsia, Temur |
|
90 | 5 |
p. 453-454 |
article |
|
| 5 | The undecidability of proof search when equality is a logical connective |
Miller, Dale |
|
90 | 5 |
p. 523-535 |
article |
5 results found