Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where authors phrase all words ' Voronkov, A' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 9 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Degtyarev, A; Gurevich, Y; Narendran, P; Veanes, M; Voronkov, A
      Decidability and complexity of simultaneous rigid E-unification with one variable and related results

      THEORETICAL COMPUTER SCIENCE
    2. Voronkov, A
      Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem

      THEORETICAL COMPUTER SCIENCE
    3. Gurevich, Y; Voronkov, A
      Monadic simultaneous rigid E-unification

      THEORETICAL COMPUTER SCIENCE
    4. A.Voronkov
      Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

      Journal of automated reasoning
    5. A.Degtyarev; A.Voronkov
      Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification

      Journal of automated reasoning
    6. DEGTYAREV A; VORONKOV A
      A NOTE ON SEMANTICS OF LOGIC PROGRAMS WITH EQUALITY BASED ON COMPLETE-SETS OF E-UNIFIERS

      The journal of logic programming
    7. DEGTYAREV A; VORONKOV A
      THE UNDECIDABILITY OF SIMULTANEOUS RIGID E-UNIFICATION

      Theoretical computer science
    8. VORONKOV A
      ON COMPUTABILITY BY LOGIC PROGRAMS

      Annals of mathematics and artificial intelligence
    9. A.Voronkov
      The Anatomy of Vampire

      Journal of automated reasoning


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 22/01/21 alle ore 05:46:34