Fernandez, Maribel.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
by:
(1998 :); Fernandez, Maribel.; SpringerLink (Online service)
(Electronic resources)
Programming languages and operational semanticsa concise overview /
by:
Fernandez, Maribel.; SpringerLink (Online service)
(Electronic resources)
Models of computationan introduction to computability theory /
by:
Fernandez, Maribel.; SpringerLink (Online service)
(Electronic resources)
Graph transformation16th International Conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023 : proceedings /
by:
(1998 :); Fernandez, Maribel.; Poskitt, Christopher M.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Mathematical Logic and Formal Languages.
Data Structures and Information Theory.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Techniques.
Logic programming
Computer software
Computable functions.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer logic
Artificial Intelligence.
Computer science
Computer Science.
Computer Systems Organization and Communication Networks.
Graph theory
Discrete Mathematics in Computer Science.
Design and Analysis of Algorithms.
Turing machines.
Compilers and Interpreters.