Hansen, Helle Hvid.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Coalgebraic methods in computer science16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /
by:
(1998 :); Hansen, Helle Hvid.; SpringerLink (Online service); Zanasi, Fabio.
(Electronic resources)
Logic, language, information, and computation29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
(1998 :); Hansen, Helle Hvid.; Queiroz, Ruy J. G. B. de.; Scedrov, Andre.; SpringerLink (Online service)
(Electronic resources)
Logic, language, and computation11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : rvised selected papers /
by:
(1998 :); Hansen, Helle Hvid.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logic.
Language Translation and Linguistics.
Logic in AI.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Computer software
Computer logic
Programming languages (Electronic computers)
Language and logic
Computer science
Formal Languages and Automata Theory.
Computational linguistics
Computer Science.
Logic, Symbolic and mathematical