Languages
Escobar, Santiago.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Rewriting logic and its applications = 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers /
by:
WRLA (Conference) (2020 :); Escobar, Santiago.; Marti-Oliet, Narciso.; SpringerLink (Online service)
(Electronic resources)
Functional and constraint logic programming = 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers /
by:
Escobar, Santiago.; SpringerLink (Online service); WFLP 2009 ((2009 :)
(Language materials, printed)
Rewriting logic and its applications = 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
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.