Martins, Manuel A.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Recent trends in algebraic development techniques26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers /
by:
(1998 :); Madeira, Alexandre.; Martins, Manuel A.; SpringerLink (Online service)
(Electronic resources)
Dynamic logicnew trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
by:
(1998 :); Martins, Manuel A.; Sedlar, Igor.; SpringerLink (Online service)
(Electronic resources)
Molecular logic and computational synthetic biologyfirst International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers /
by:
(1998 :); Chaves, Madalena.; Martins, Manuel A.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software engineering
Synthetic biology
Algorithm Analysis and Problem Complexity.
Computer software
Programming Techniques.
Computer logic
Abstract data types (Computer science)
Computer Science Logic and Foundations of Programming.
Numeric Computing.
Artificial Intelligence.
Computer science
Formal Languages and Automata Theory.
Computer Communication Networks.
Computational biology