|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Logical Approach to Hamiltonian Graphs |
Schechter, L. Menasché |
2009 |
247 | C |
p. 123-138 16 p. |
artikel |
|
| 2 | A PVS Theory for Term Rewriting Systems |
Galdino, André L. |
2009 |
247 | C |
p. 67-83 17 p. |
artikel |
|
| 3 | Formal SOS-Proofs for the Lambda-Calculus |
Urban, Christian |
2009 |
247 | C |
p. 139-155 17 p. |
artikel |
|
| 4 | Introducing Polymodal Neighbourhood Logics |
de Freitas, Renata |
2009 |
247 | C |
p. 51-66 16 p. |
artikel |
|
| 5 | Preface |
Horizonte, Belo |
2009 |
247 | C |
p. 1-3 3 p. |
artikel |
|
| 6 | Recursive Definitions and Fixed-Points |
Ferreira, Francicleber Martins |
2009 |
247 | C |
p. 19-37 19 p. |
artikel |
|
| 7 | Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction |
Kamareddine, Fairouz |
2009 |
247 | C |
p. 85-101 17 p. |
artikel |
|
| 8 | Some Remarks on Type Systems for Course-of-value Recursion |
Miranda-Perea, Favio Ezequiel |
2009 |
247 | C |
p. 103-121 19 p. |
artikel |
|
| 9 | Using Abduction to Compute Efficient Proofs |
Finger, Marcelo |
2009 |
247 | C |
p. 39-49 11 p. |
artikel |
|
| 10 | Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor |
Bedregal, Benjamín C. |
2009 |
247 | C |
p. 5-18 14 p. |
artikel |
10 gevonden resultaten