A universal unification algorithm based on unification-driven leftmost outermost narrowing

QR kód

A universal unification algorithm based on unification-driven leftmost outermost narrowing

We formalize a universal unification algorithm for the class of equational theories which is induced by the class of canonical, totally-defined, not strictly subunifiable term rewriting systems (for short: etn-tra). For a ctn-tra R and for two terms t and s, the algorithm computes a ground-complete...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Fassbender Heinz Vogler Heiko
Dokumentumtípus:	Cikk
Megjelent:	1994
Sorozat:	Acta cybernetica 11 No. 3
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12526

Hasonló tételek

Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /
Szerző: Kovásznai Gergely
Megjelent: (2004)

The unification of the law of bills of exchange read at Budapest on september 23rd, 1908 at a conference of the International Law Association /
Szerző: Marais Georges
Megjelent: (1908)

The unification of the law of bills of exchange read at Budapest on september 23rd, 1908 at a conference of the International Law Association /
Szerző: Byles W. J. Barnard
Megjelent: (1908)

The unification of the laws concerning bills of exchange read at Budapest on september 23rd, 1908 at a conference of the International Law Association /
Szerző: Sichermann Bernát

Model driven testing of component based systems [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2006)

Algorithm for constructing of university timetables and criterion of consistency of requirements
Szerző: Kreczmar Antoni
Megjelent: (1973)

Crime, criminological research, and criminal policy in west and east Germany before and after their unification
Szerző: Schneider Hans Joachim
Megjelent: (1992)

Aspect-UML-driven model-based software development [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2006)

On a parity based group testing algorithm
Szerző: Kiss Sándor Z., et al.
Megjelent: (2015)

An approach based on genetic algorithms for clustering classes in components
Szerző: Jişa Dan Laurenţiu
Megjelent: (2005)

Case study of SIRDS algorithms based autostereoscopic image [abstract] /
Szerző: Minh Son Tran, et al.
Megjelent: (2000)

Greedy algorithm for edge-based nested community detection
Szerző: Gera Imre, et al.
Megjelent: (2022)

Efficient CAC algorithms based on the tail distribution of aggregate traffic [abstract] /
Szerző: Heszberger Zalán, et al.
Megjelent: (2000)

On the partitioning algorithm
Szerző: Csaba Béla
Megjelent: (1999)

Distending Function-based Data-Driven Type2 Fuzzy Inference System
Szerző: Dombi József, et al.
Megjelent: (2023)

Quality driven software development [abstract] /
Szerző: Szőke Ákos
Megjelent: (2004)

Search space reduction criterion based on derivatives in global optimization algorithms [abstract] /
Szerző: Martínez J. A., et al.
Megjelent: (2000)

On the partitioning algorithm [abstract] /
Szerző: Csaba Béla
Megjelent: (1998)

A Neural Network Based Classification Algorithm for Asthma Using Capnography
Szerző: Békési József, et al.
Megjelent: (2022)

A pumping lemma for output languages of attributed tree transducers
Szerző: Kühnemann Armin, et al.
Megjelent: (1994)

Preface
Szerző: Droste Manfred, et al.
Megjelent: (2009)

Preface
Szerző: Droste Manfred, et al.
Megjelent: (2011)

A fully automatic medical image registration algorithm based on mutual information [abstract] /
Szerző: Tanács Attila, et al.
Megjelent: (2002)

Synthesis of abstract algorithms
Szerző: Varga L.
Megjelent: (1980)

UML2 and model-driven development [abstract] /
Szerző: Papp Ágnes
Megjelent: (2004)

Evaluation of a fully automatic medical image registration algorithm based on mutual information
Szerző: Tanács Attila, et al.
Megjelent: (2003)

Tight bounds for NF-based bounded-space online bin packing algorithms
Szerző: Békési József, et al.
Megjelent: (2018)

Model-driven diagnostics of underperforming communicating systems
Szerző: Erős Levente, et al.
Megjelent: (2012)

Testing aspect in model driven software development [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2004)

Extensions and applicability of the membership driven reasoning scheme [abstract] /
Szerző: Gera Zsolt
Megjelent: (2006)

An effective theorem proving algorithm
Szerző: Ecsedi-Tóth Péter, et al.
Megjelent: (1977)

Unusual algorithms for lexicographical enumeration
Szerző: Dömösi Pál
Megjelent: (2000)

Note on the work function algorithm
Szerző: Csaba Béla
Megjelent: (2000)

An evolutionary algorithm for surface modification
Szerző: Lomonosov Evgenij, et al.
Megjelent: (2008)

New Algorithms and Benchmarks for Supporting Spectrum-Based Fault Localization
Szerző: Vancsics Béla
Megjelent: (2023)

Moodle-based data mining potentials of MOOC systems at the University of Szeged
Szerző: Kőrösi Gábor, et al.
Megjelent: (2017)

Implementing and comparing impact algorithms [abstract] /
Szerző: Faragó Szabolcs
Megjelent: (2006)

Optimization algorithms for constraint handling [abstract] /
Szerző: Mezei Gergely, et al.
Megjelent: (2006)

ID3 is not an Occam algorithm [abstract] /
Szerző: Szörényi Balázs
Megjelent: (2002)

Effective virus scanning algorithms [abstract] /
Szerző: Hornák Zoltán, et al.
Megjelent: (2000)