Rewriting-Based Navigation of Web Sites: Looking for Models and Logics

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 2 SPEC. ISS., 2006, Pages 79-85

  Lucas, Salvador ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Hypertext browsing; Semantic modeling of Web sites; Term rewriting

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; MATHEMATICAL MODELS; SPECIFICATIONS; WEBSITES;

HYPERTEXT BROWSING; SEMANTIC MODELING OF WEB SITES; TERM REWRITING;

NAVIGATION;

EID: 33646353926     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.047     Document Type: Article

References (11)

1. Alpuente M., Ballis D., and Falaschi M. A Rewriting-based Framework for Web Sites Verification. Electronic Notes in Theoretical Computer Science 124 (2005) 41-61
2. Baader F., and Nipkow T. Term Rewriting and All That (1998), Cambridge University Press
3. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., and Quesada J. Maude: specification and programming in rewriting logic. Theoretical Computer Science 285 2 (2002) 187-243
4. Comon H. Sequentiality, Monadic Second-Order Logic and Tree Automata. Information and Computation 157 1-2 (2000) 25-51
5. Dauchet M. Rewriting and Tree Automata. In: Comon H., and Jouannaud J.-P. (Eds). Term Rewriting. French Spring School on Theoretical Computer Science. LNCS 909 (1995), Springer-Verlag, Berlin 95-113
6. Dauchet M., and Tison S. The Theory of Ground Rewrite Systems is Decidable. In: Comon H., and Jouannaud J.-P. (Eds). Proc. of the 5th IEEE Symposium on Logic in Computer Science. LICS'90 (1990), IEEE Computer Society Press 242-248
7. F. Jacquemard. Automates d'Arbres et Réécriture de Termes. PhD Thesis. Université Paris Sud, 1996
8. Ohlebusch E. Advanced Topics in Term Rewriting (2002), Springer-Verlag, Berlin
9. In: TeReSe (Ed). Term Rewriting Systems (2003), Cambridge Univ. Press
10. Thomas W. Automata on Infinite Objects. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics (1990), Elsevier, Amsterdam 133-191 The MIT Press, Cambridge, MA
11. Thomas W. Languages, Automata, and Logic. In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages, volume 3: Beyond words (1997), Springer-Verlag, Berlin 389-455