|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
50 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A categorical outlook on relational modalities and simulations |
Hermida, Claudio |
2011 |
220-221 | 12 |
p. 1505-1517 13 p. |
artikel |
|
| 2 | A modal logic internalizing normal proofs |
Park, Sungwoo |
2011 |
220-221 | 12 |
p. 1519-1535 17 p. |
artikel |
|
| 3 | Author Index for Volume 209 |
2011 |
220-221 | 12 |
p. 1537-1538 2 p. |
artikel |
||
| 4 | Coequational logic for accessible functors |
Schwencke, Daniel |
2010 |
220-221 | 12 |
p. 1469-1489 21 p. |
artikel |
|
| 5 | Complete sets of cooperations |
Kupke, Clemens |
2010 |
220-221 | 12 |
p. 1398-1420 23 p. |
artikel |
|
| 6 | Constructive linear-time temporal logic: Proof systems and Kripke semantics |
Kojima, Kensuke |
2011 |
220-221 | 12 |
p. 1491-1503 13 p. |
artikel |
|
| 7 | Corrigendum to “On the undecidability of implications between embedded multivalued database dependencies” [Inform. and Comput. 122 (1995) 221–235] |
Herrmann, Christian |
2006 |
220-221 | 12 |
p. 1847-1851 5 p. |
artikel |
|
| 8 | Cut elimination in coalgebraic logics |
Pattinson, Dirk |
2010 |
220-221 | 12 |
p. 1447-1468 22 p. |
artikel |
|
| 9 | Cut-free Gentzen calculus for multimodal CK |
Mendler, Michael |
2011 |
220-221 | 12 |
p. 1465-1490 26 p. |
artikel |
|
| 10 | Decidable metric logics |
Hirshfeld, Yoram |
2008 |
220-221 | 12 |
p. 1425-1442 18 p. |
artikel |
|
| 11 | Editorial Board |
2006 |
220-221 | 12 |
p. CO2- 1 p. |
artikel |
||
| 12 | Editorial Board |
2011 |
220-221 | 12 |
p. IFC- 1 p. |
artikel |
||
| 13 | Editorial Board |
2011 |
220-221 | 12 |
p. i- 1 p. |
artikel |
||
| 14 | Editorial Board (continued) |
2010 |
220-221 | 12 |
p. i- 1 p. |
artikel |
||
| 15 | Editorial Board (continued) |
2008 |
220-221 | 12 |
p. i- 1 p. |
artikel |
||
| 16 | Editorial Board (continued) |
2007 |
220-221 | 12 |
p. i- 1 p. |
artikel |
||
| 17 | Editorial Board (continued) |
2009 |
220-221 | 12 |
p. i- 1 p. |
artikel |
||
| 18 | Editorial Board (continued) |
2006 |
220-221 | 12 |
p. i- 1 p. |
artikel |
||
| 19 | Eilenberg–Moore algebras for stochastic relations |
Doberkat, Ernst-Erich |
2006 |
220-221 | 12 |
p. 1756-1781 26 p. |
artikel |
|
| 20 | Equational properties of iterative monads |
Adámek, Jiří |
2010 |
220-221 | 12 |
p. 1306-1348 43 p. |
artikel |
|
| 21 | Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations |
Doberkat, Ernst-Erich |
2008 |
220-221 | 12 |
p. 1476-1484 9 p. |
artikel |
|
| 22 | Erratum to “Automation for interactive proof: First prototype” [Inform. and Comput. 204 (2006) 1575–1596] |
Meng, Jia |
2006 |
220-221 | 12 |
p. 1852- 1 p. |
artikel |
|
| 23 | Inclusion dynamics hybrid automata |
Casagrande, Alberto |
2008 |
220-221 | 12 |
p. 1394-1424 31 p. |
artikel |
|
| 24 | Inside Front Cover: Editorial Board |
2010 |
220-221 | 12 |
p. IFC- 1 p. |
artikel |
||
| 25 | Inside Front Cover: Editorial Board |
2008 |
220-221 | 12 |
p. IFC- 1 p. |
artikel |
||
| 26 | Inside Front Cover: Editorial Board |
2007 |
220-221 | 12 |
p. IFC- 1 p. |
artikel |
||
| 27 | Inside Front Cover: Editorial Board |
2009 |
220-221 | 12 |
p. IFC- 1 p. |
artikel |
||
| 28 | Intuitionistic hybrid logic: Introduction and survey |
Braüner, Torben |
2011 |
220-221 | 12 |
p. 1437-1446 10 p. |
artikel |
|
| 29 | Intuitionistic Modal Logic and Applications (IMLA 2008) |
de Paiva, Valeria |
2011 |
220-221 | 12 |
p. 1435-1436 2 p. |
artikel |
|
| 30 | Iterative learning from positive data and negative counterexamples |
Jain, Sanjay |
2007 |
220-221 | 12 |
p. 1777-1805 29 p. |
artikel |
|
| 31 | Labeling schemes for weighted dynamic trees |
Korman, Amos |
2007 |
220-221 | 12 |
p. 1721-1740 20 p. |
artikel |
|
| 32 | Monotony properties of connected visible graph searching |
Fraigniaud, Pierre |
2008 |
220-221 | 12 |
p. 1383-1393 11 p. |
artikel |
|
| 33 | On a definition of random sequences with respect to conditional probability |
Takahashi, Hayato |
2008 |
220-221 | 12 |
p. 1375-1382 8 p. |
artikel |
|
| 34 | On the round complexity of Byzantine agreement without initial set-up |
Okun, Michael |
2009 |
220-221 | 12 |
p. 1351-1368 18 p. |
artikel |
|
| 35 | Preface |
Adámek, Jiří |
2010 |
220-221 | 12 |
p. 1305- 1 p. |
artikel |
|
| 36 | Presenting functors on many-sorted varieties and applications |
Kurz, Alexander |
2010 |
220-221 | 12 |
p. 1421-1446 26 p. |
artikel |
|
| 37 | Proving termination of context-sensitive rewriting by transformation |
Lucas, Salvador |
2006 |
220-221 | 12 |
p. 1782-1846 65 p. |
artikel |
|
| 38 | Sequent calculi and decidability for intuitionistic hybrid logic |
Galmiche, Didier |
2011 |
220-221 | 12 |
p. 1447-1463 17 p. |
artikel |
|
| 39 | Sequential operators in computability logic |
Japaridze, Giorgi |
2008 |
220-221 | 12 |
p. 1443-1475 33 p. |
artikel |
|
| 40 | Subsequential transducers: a coalgebraic perspective |
Hansen, Helle Hvid |
2010 |
220-221 | 12 |
p. 1368-1397 30 p. |
artikel |
|
| 41 | Subword conditions and subword histories |
Salomaa, Arto |
2006 |
220-221 | 12 |
p. 1741-1755 15 p. |
artikel |
|
| 42 | Symmetries, local names and dynamic (de)-allocation of names |
Ciancia, Vincenzo |
2010 |
220-221 | 12 |
p. 1349-1367 19 p. |
artikel |
|
| 43 | The lambda-context calculus (extended version) |
Gabbay, Murdoch J. |
2009 |
220-221 | 12 |
p. 1369-1400 32 p. |
artikel |
|
| 44 | The reactive simulatability (RSIM) framework for asynchronous systems |
Backes, Michael |
2007 |
220-221 | 12 |
p. 1685-1720 36 p. |
artikel |
|
| 45 | Transducer-based analysis of cryptographic protocols |
Küsters, Ralf |
2007 |
220-221 | 12 |
p. 1741-1776 36 p. |
artikel |
|
| 46 | Volume Author Index |
2010 |
220-221 | 12 |
p. 1490-1491 2 p. |
artikel |
||
| 47 | Volume Author Index |
2008 |
220-221 | 12 |
p. 1485-1486 2 p. |
artikel |
||
| 48 | Volume Author Index |
2007 |
220-221 | 12 |
p. 1807-1808 2 p. |
artikel |
||
| 49 | Volume Author Index |
2009 |
220-221 | 12 |
p. 1401-1402 2 p. |
artikel |
||
| 50 | Volume Author Index |
2006 |
220-221 | 12 |
p. 1853-1854 2 p. |
artikel |
50 gevonden resultaten