Parallel algorithms for free and associative-commutative unification

Parallel algorithms for free and associative-commutative unification

A survey of algorithms for free unification is given, followed by an overview of the computability and complexity of unification problems. Second-order unification is known to be undecidable, and a proof is given that the first-order problem is also undecidable under an arbitrary set of axioms. A n...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hains, G
Rannpháirtithe:	McColl, B
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	1989
Ábhair:	Computer science (mathematics)

Míreanna comhchosúla

On the commutativity of the powerspace constructions
de réir: Matthew de Brecht, et al.
Foilsithe / Cruthaithe: (2019-08-01)

On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
de réir: Andrew M Marshall, et al.
Foilsithe / Cruthaithe: (2015-06-01)

Exact Unification and Admissibility
de réir: George Metcalfe, et al.
Foilsithe / Cruthaithe: (2015-09-01)

Big data in multi-block data analysis: An approach to parallelizing Partial Least Squares Mode B algorithm
de réir: Alba Martinez-Ruiz, et al.
Foilsithe / Cruthaithe: (2019-04-01)

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
de réir: Robert W. J. Furber, et al.
Foilsithe / Cruthaithe: (2015-06-01)

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
de réir: Deepak Kapur
Foilsithe / Cruthaithe: (2023-03-01)

Unification in the Description Logic EL
de réir: Franz Baader, et al.
Foilsithe / Cruthaithe: (2010-09-01)

Efficient Full Higher-Order Unification
de réir: Petar Vukmirović, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Cellular distributed and parallel computing
de réir: Xu, L
Foilsithe / Cruthaithe: (2014)

Parallel assignments in software model checking
de réir: Ouaknine, J
Foilsithe / Cruthaithe: (2006)

Commutative algebra and algebraic varieties
de réir: Tan, Zhi Hong
Foilsithe / Cruthaithe: (2021)

The Algebraic Intersection Type Unification Problem
de réir: Andrej Dudenhefner, et al.
Foilsithe / Cruthaithe: (2017-08-01)

The division free parallel algorithm for finding determinant
de réir: Karim, Sharmila, et al.
Foilsithe / Cruthaithe: (2013)

Unification and Logarithmic Space
de réir: Clément Aubert, et al.
Foilsithe / Cruthaithe: (2018-07-01)

The AGEB Algorithm for Solving the Heat Equation in Three Space Dimensions and Its Parallelization Using PVM
de réir: Sahimi, Mohd Salleh, et al.
Foilsithe / Cruthaithe: (2001)

A combinatorial non-commutative Hopf algebra of graphs
de réir: Adrian Tanasa, et al.
Foilsithe / Cruthaithe: (2014-06-01)

Decreasing Diagrams for Confluence and Commutation
de réir: Jörg Endrullis, et al.
Foilsithe / Cruthaithe: (2020-02-01)

E-unification by means of tree tuple synchronized grammars
de réir: Sébastien Limet, et al.
Foilsithe / Cruthaithe: (1997-01-01)

File system unification using LatticeFS
de réir: Su, Yang, M. Eng. Massachusetts Institute of Technology
Foilsithe / Cruthaithe: (2010)

Matrix product codes over finite commutative Frobenius rings
de réir: Fan, Yun, et al.
Foilsithe / Cruthaithe: (2014)

Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories
de réir: Alexandre Boudet
Foilsithe / Cruthaithe: (2000-01-01)

Contextual partial commutations
de réir: Christian Choffrut, et al.
Foilsithe / Cruthaithe: (2010-01-01)

Discrete algorithmic mathematics /
de réir: 244919 Maurer, Stephen B., et al.
Foilsithe / Cruthaithe: (2004)

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
de réir: Andrej Dudenhefner
Foilsithe / Cruthaithe: (2023-12-01)

Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
de réir: Siva Anantharaman, et al.
Foilsithe / Cruthaithe: (2014-02-01)

The design and analysis of parallel algorithms /
de réir: 437127 Akl, Selim G.
Foilsithe / Cruthaithe: (1989)

Sign-problem free quantum stochastic series expansion algorithm on a quantum computer
de réir: Tan, Kok Chuan, et al.
Foilsithe / Cruthaithe: (2023)

World-set decompositions: expressiveness and efficient algorithms
de réir: Olteanu, D, et al.
Foilsithe / Cruthaithe: (2008)

A Poset Classifying Non-Commutative Term Orders
de réir: Jan Snellman
Foilsithe / Cruthaithe: (2001-01-01)

Algorithmic randomness for Doob's martingale convergence theorem in continuous time
de réir: Bjørn Kjos-Hanssen, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Parallel processing and parallel algorithms : theory and computation /
de réir: 240861 Roosta, Seyed H.
Foilsithe / Cruthaithe: (2000)

Large Dataset Classification Using Parallel Processing Concept
de réir: Aljanabi, Mohammad, et al.
Foilsithe / Cruthaithe: (2020)

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
de réir: Berit Grußien
Foilsithe / Cruthaithe: (2019-07-01)

Parallel algorithms /
de réir: 202970 Casanova, Henri, et al.
Foilsithe / Cruthaithe: (2008)

Parallel Boundary Integral Method Applied To Cavitation Bubble Dynamics On Shared Memory Computer System
de réir: Johari, Rozita
Foilsithe / Cruthaithe: (2001)

Some parallel numerical methods in solving partial differential equations
de réir: Alias, Norma, et al.
Foilsithe / Cruthaithe: (2010)

Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
de réir: Franz Baader, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Scalable, repeatable, and contention-free parallelization of traffic simulation
de réir: Avery, Cordelia (Cordelia G.)
Foilsithe / Cruthaithe: (2018)

Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation
de réir: Philippe Dumas, et al.
Foilsithe / Cruthaithe: (2007-01-01)

Parallel discrete geodesic algorithms
de réir: Du, Jie
Foilsithe / Cruthaithe: (2020)