MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Normal Form Transformations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

186 documents found, showing 1 through 10. Next 10 →

ATOM

Greibach Normal Form Transformation, Revisited
by Norbert Blum, Robert Koch — 1997 — Information and Computation
…Greibach Normal Form Transformation, Revisited Norbert Blum Robert Koch Informatik IV, Universitat…
Cited by 9 (0 self) – Add To MetaCart

Extraction of Proofs from the Clausal Normal Form Transformation
by unknown authors
… Extraction of Proofs from the Clausal Normal Form Transformation Hans de Nivelle Max Planck…
Add To MetaCart

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
by Harald Ganzinger, Jürgen Stuber — 2003 — Inf. Comput
…Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation Harald…
Cited by 10 (0 self) – Add To MetaCart

An Algorithm to Generate Canonical Transformations: Application to Normal Forms.
by Alex Haro
…An algorithm to generate canonical transformations: application to normal forms. ` Alex Haro Dept…
Add To MetaCart

SPASS Version 2.0
by Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, Dalibor Topic — 1999 — In Proc. CADE-18
….0, including among others an implementation of contextual rewriting, renements of the clause normal form…
Cited by 30 (0 self) – Add To MetaCart

On Generating Small Clause Normal Forms
by Andreas Nonnengart, Georg Rock, Christoph Weidenbach — 1998
…-order TPTP problems, it shows that our clause normal form transformation yields fewer clauses and fewer…
Cited by 69 (2 self) – Add To MetaCart

of Historical Reference
by Martin S. Feather
…-purpose transformations, layering of transformations and normal forms, transformational definition of language extensions…
Add To MetaCart

Programming with Transformation Rules
by Mircea Marin, Temur Kutsia — In Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing
… closures, and normal forms of transformation rules. To this end, we have implemented a Mathematica package…
Cited by 3 (2 self) – Add To MetaCart

Loop Transformation using non-unimodular matrices
by Agustín Fernández, José M. Llabera, Miguel Valero-García — 1995
… for both unimodular and non-unimodular transformations. The basic idea is to use the Hermite Normal Form…
Cited by 9 (2 self) – Add To MetaCart

Normal Forms For Parabolic Partial Differential Equations
by Eckmann Epartement, J. -p. Eckmann, H. Epstein, C. E. Wayne — 1993
… partial normal form for perturbations of the Ginzburg-Landau equation. The normal form transformation…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB