|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Boolean Functions as Models for Quantified Boolean Formulas |
Kleine Büning, Hans |
|
39 | 1 |
p. 49-75 |
artikel |
|
| 2 | General E-unification with Eager Variable Elimination and a Nice Cycle Rule |
Morawska, Barbara |
|
39 | 1 |
p. 77-106 |
artikel |
|
| 3 | Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts |
Ciaffaglione, Alberto |
|
39 | 1 |
p. 1-47 |
artikel |
3 gevonden resultaten