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 soggetti phrase all words 'rigid E-unification' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 5 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Plaisted, DA
      Special cases and substitutes for rigid E-unification

      APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING
    2. Levy, J; Veanes, M
      On the undecidability of second-order unification

      INFORMATION AND COMPUTATION
    3. 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
    4. Gurevich, Y; Veanes, M
      Logic with equality: Partisan corroboration and shifted pairing

      INFORMATION AND COMPUTATION
    5. Gurevich, Y; Voronkov, A
      Monadic simultaneous rigid E-unification

      THEORETICAL COMPUTER SCIENCE


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