|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models |
Arruda, Alexandre Matos |
2008 |
205 | C |
p. 89-104 16 p. |
artikel |
|
| 2 | Aspect-Oriented Action Semantics Descriptions |
Menezes, Luis |
2008 |
205 | C |
p. 123-135 13 p. |
artikel |
|
| 3 | Computerizing Mathematical Text with MathLang |
Kamareddine, Fairouz |
2008 |
205 | C |
p. 5-30 26 p. |
artikel |
|
| 4 | Maude Object-Oriented Action Tool |
Maidl, André Murbach |
2008 |
205 | C |
p. 105-121 17 p. |
artikel |
|
| 5 | Modal Expressiveness of Graph Properties |
Benevides, Mario R.F. |
2008 |
205 | C |
p. 31-47 17 p. |
artikel |
|
| 6 | On the Convergence of Reduction-based and Model-based Methods in Proof Theory |
Dowek, Gilles |
2008 |
205 | C |
p. 137-144 8 p. |
artikel |
|
| 7 | Preface |
Ayala-Rincón, M. |
2008 |
205 | C |
p. 1-3 3 p. |
artikel |
|
| 8 | Sequent Calculi for ‘Generally’ |
Vana, Leonardo Bruno |
2008 |
205 | C |
p. 49-65 17 p. |
artikel |
|
| 9 | Soft Linear Logic and Polynomial Complexity Classes |
Gaboardi, Marco |
2008 |
205 | C |
p. 67-87 21 p. |
artikel |
9 gevonden resultaten