Semi-Thue system - PDFSEARCH.IO - Document Search Engine

Semi-Thue system
Results: 6

#	Item
1	Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2001-02-15 10:07:19 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
2	Synthesizing Matrix Interpretations via Backward Completion∗ Dieter Hofbauer ASW – Berufsakademie Saarland, Germany Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Applied mathematics Rewriting Semi-Thue system Structure Formal languages Theoretical computer science Mathematics
3	Chapter 9 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-03-20 12:18:38 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
4	An Algorithm Rules JEAN in Polynomial Add to Reading List Source URL: cs-pub.bu.edu Language: English - Date: 2002-12-11 10:42:01 Mathematical logic Logic in computer science Applied mathematics Rewriting Unification Semi-Thue system Theoretical computer science Mathematics Formal languages
5	On Oleshchuk’s Public Key Cryptosystem Heiko Stamer Friedrich Otto Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2004-09-01 10:17:26 Applied mathematics Rewriting Semi-Thue system Monoid String Presentation of a monoid Formal languages Theoretical computer science Mathematics
6	An insertion into the Chomsky hierarchy? Robert McNaughton Department of Computer Science Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2004-05-13 16:41:34 Models of computation Computer science Applied mathematics Pushdown automaton Chomsky hierarchy Rewriting Context-sensitive language Semi-Thue system Context-free language Formal languages Theoretical computer science Automata theory