Search results: Sage Journals

Available accessResearch articleFirst published September, 2009

Congruences Generated by Extended Ground Term Rewrite Systems

Sándor Vágvölgyi

Fundamenta Informaticae

Restricted accessResearch articleFirst published May, 1996

Steffen van Bakel

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1990

Z. Fülop, S. Vágvölgyi

Fundamenta Informaticae

Restricted accessResearch articleFirst published December, 1998

Sándor Vágvölgyi

Fundamenta Informaticae

Available accessOtherFirst published February, 2004

Santiago Escobar

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published September, 2010

Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina [...]

Fundamenta Informaticae

Available accessResearch articleFirst published August, 2006

Anatoliy Doroshenko, Ruslan Shevchenko

Fundamenta Informaticae

Restricted accessResearch articleFirst published August, 1995

Bernhard Gramlich

Fundamenta Informaticae

Open accessResearch articleFirst published February, 2009

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published May, 2009

Rakesh Verma

Fundamenta Informaticae