Languages
Escobar, Santiago.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Rewriting logic and its applications13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers /
by:
(1998 :); Escobar, Santiago.; Marti-Oliet, Narciso.; SpringerLink (Online service)
(Electronic resources)
Functional and constraint logic programming18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers /
by:
(1998 :); Escobar, Santiago.; SpringerLink (Online service)
(Electronic resources)
Rewriting logic and its applications10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(1998 :); Escobar, Santiago.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Maude (Computer program language)
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer logic
Models and Principles.
Computer Science.