|
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 Fuzzy Modal Logic for Fuzzy Transition Systems |
Jain, Manisha |
|
348 | C |
p. 85-103 |
artikel |
|
| 2 | Deciding Quantifier-free Definability in Finite Algebraic Structures |
Campercholi, Miguel |
|
348 | C |
p. 23-41 |
artikel |
|
| 3 | Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence |
González Huesca, Lourdes del Carmen |
|
348 | C |
p. 61-83 |
artikel |
|
| 4 | Indexed and Fibred Structures for Hoare Logic |
Wolter, U.E. |
|
348 | C |
p. 125-145 |
artikel |
|
| 5 | Introducing Synchrony in Fuzzy Automata |
Gomes, Leandro |
|
348 | C |
p. 43-60 |
artikel |
|
| 6 | On Solving Nominal Disunification Constraints |
Ayala-Rincón, Mauricio |
|
348 | C |
p. 3-22 |
artikel |
|
| 7 | Populational Announcement Logic (PPAL) |
Machado, Vitor |
|
348 | C |
p. 105-123 |
artikel |
|
| 8 | Preface |
Felty, Amy |
|
348 | C |
p. 1-2 |
artikel |
8 gevonden resultaten