A Decomposition Theorem for Finite-Valued Tranducers and an Application to the Equivalence Problem.
Andreas WeberPublished in: MFCS (1988)
Keyphrases
- valued logic
- datalog programs
- decomposition methods
- image processing
- fuzzy logic
- decomposition algorithm
- artificial intelligence
- von neumann
- finite automata
- propositional logic
- first order logic
- decomposition method
- wavelet transform
- hierarchical decomposition
- real world
- interactive dynamic influence diagrams
- interactive theorem proving
- monadic datalog