Subtree matching by deterministic pushdown automata

Subtree matching is an important problem in Computer Science on which a number of tasks, such as mechanical theorem proving, term-rewriting, symbolic computation and non-procedural programming languages are based on. A systematic approach to the construction of subtree pattern matchers by determinis...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2009 International Multiconference on Computer Science and Information Technology s. 659 - 666
Hlavní autori: Flouri, Tomas, Melichar, Borivoj, Janousek, J.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.10.2009
Predmet:
ISBN:9781424453146, 1424453143
ISSN:2157-5525
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.