VIAF

Virtual International Authority File

Search

Fernández, Maribel. Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Israel German National Library Library of Congress/NACO

Fernandez, M ISNI

VIAF ID: 214164958 (Personal)

Permalink: //viaf.org/viaf/214164958

ISNI: 0000  0001  2423  5857 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 5xx's: Related Names (2)

Open Section Close SectionWorks

Title Sources
AC complement problems : satisfiability and negation elimination Sudoc [ABES], France
Horas de mil minutos Library of Congress/NACO
Models of computation an introduction to computability theory Sudoc [ABES], France National Library of Israel German National Library Library of Congress/NACO
Modularity properties of term rewriting systems revisited Sudoc [ABES], France
Narrowing based procedures for equational disunification Sudoc [ABES], France
Negation elimination in equational formulae Sudoc [ABES], France
Programming languages and operational semantics : a concise overview NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section About

Open Section Close Section History of VIAF ID:214164958 (7)