|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal semantics for agent distribution and fault tolerance in Jason |
Fernández Díaz, Álvaro |
|
133 | C |
p. |
artikel |
|
| 2 | A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3 |
Frade, Maria João |
|
133 | C |
p. |
artikel |
|
| 3 | Editorial Board |
|
133 | C |
p. |
artikel |
||
| 4 | Evaluation diversity for graph conditions |
Schneider, Sven |
|
133 | C |
p. |
artikel |
|
| 5 | Formalization of the inverse kinematics of three-fingered dexterous hand |
Wang, Guohui |
|
133 | C |
p. |
artikel |
|
| 6 | Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes |
Overbeek, Roy |
|
133 | C |
p. |
artikel |
|
| 7 | Relation-changing models meet paraconsistency |
Costa, Diana |
|
133 | C |
p. |
artikel |
|
| 8 | Session-based concurrency in Maude: Executable semantics and type checking |
Ramírez Restrepo, Carlos Alberto |
|
133 | C |
p. |
artikel |
8 gevonden resultaten