Treffer 1 - 8 von 8 für Suche 'BEDMAR, MIREIA GONZALEZ', Suchdauer: 0,71s Treffer weiter einschränken
  1. 1
    To drive or not to drive: A logical and computational analysis of European transport regulations

    To drive or not to drive: A logical and computational analysis of European transport regulations von de Almeida Borges, Ana, Conejero Rodríguez, Juan José, Fernández-Duque, David, González Bedmar, Mireia, Joosten, Joost J.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    UTC Time, Formally Verified

    UTC Time, Formally Verified von de Almeida Borges, Ana, Mireia González Bedmar, Juan Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joosten, Joost J

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    AUTOMATED PUBLIC CERTIFICATION OF SPECIFICATIONS AND SOFTWARE

    AUTOMATED PUBLIC CERTIFICATION OF SPECIFICATIONS AND SOFTWARE von Bedmar, Mireia Gonzalez, Reyes, Eduardo Hermo, Alberdi, Guillermo Errezil

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  4. 4
    AUTOMATED PUBLIC CERTIFICATION OF SPECIFICATIONS AND SOFTWARE

    AUTOMATED PUBLIC CERTIFICATION OF SPECIFICATIONS AND SOFTWARE von REYES, EDUARDO HERMO, ALBERDI, GUILLERMO ERREZIL, BEDMAR, MIREIA GONZALEZ

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  5. 5
    On a game-theoretic semantics for the Dialectica interpretation of analysis

    On a game-theoretic semantics for the Dialectica interpretation of analysis von González Bedmar, Mireia

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  6. 6
    The second order traffic fine : temporal reasoning in European transport regulations

    The second order traffic fine : temporal reasoning in European transport regulations von de Almeida Borges, Ana, Rodríguez, Juan José Conejero, Fernández-Duque, David, Bedmar, Mireia González, Joosten, Joost J

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Personalidades jurídicas difusas y artificiales

    Personalidades jurídicas difusas y artificiales von Martín Santiesteban, Sonia, Casadesus Ripoll, Paula, Borrás Andrés, Núria, Elizalde, Idoia, Barbedo de Aguiar Carvalho, Juliana, Aragona, Valentina, Castellanos Cámara, Sandra, Rodríguez Padilla, Maridalia, Guix i Santandreu, Arnau, Muñoz de la Cuesta, Javier, Fernández Duque, David, González Bedmar, Mireia, Sousa, Daniel, Joosten, Joost J, Errezil Alberdi, Guillermo, Gatti, Carlo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Personalidades jurídicas difusas y artificiales

    Personalidades jurídicas difusas y artificiales von Martín Santiesteban, Sonia, Casadesus Ripoll, Paula, Borrás Andrés, Núria, Elizalde, Idoia, Barbedo de Aguiar Carvalho, Juliana, Aragona, Valentina, Castellanos Cámara, Sandra, Rodríguez Padilla, Maridalia, Guix i Santandreu, Arnau, Muñoz de la Cuesta, Javier, Fernández Duque, David, González Bedmar, Mireia, Sousa, Daniel, Joosten, Joost J, Errezil Alberdi, Guillermo, Gatti, Carlo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: