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 ' Veanes, M' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 7 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Levy, J; Veanes, M
      On the undecidability of second-order unification

      INFORMATION AND COMPUTATION
    2. 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
    3. Veanes, M
      Farmer's Theorem revisited

      INFORMATION PROCESSING LETTERS
    4. Gurevich, Y; Veanes, M
      Logic with equality: Partisan corroboration and shifted pairing

      INFORMATION AND COMPUTATION
    5. VEANES M; BARKLUND J
      NATURAL CYCLETREES - FLEXIBLE INTERCONNECTION GRAPHS

      Journal of parallel and distributed computing
    6. VEANES M; BARKLUND J
      CONSTRUCTION OF NATURAL CYCLETREES

      Information processing letters
    7. VEANES M; BARKLUND J
      ON THE NUMBER OF EDGES IN CYCLETREES

      Information processing letters


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