VIAF

Virtual International Authority File

Search

Fernández, Maribel. NUKAT Center of Warsaw University Library Sudoc [ABES], France German National Library RERO - Library Network of Western Switzerland National Library of Israel National Library of Israel (J9U) Library of Congress/NACO

Fernandez, M ISNI

VIAF ID: 214164958 (Personal)

Permalink: http://viaf.org/viaf/214164958

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, 2009: German National Library Sudoc [ABES], France National Library of Israel National Library of Israel (J9U) 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 RERO - Library Network of Western Switzerland 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 (9)