Hansen, Helle Hvid.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings /
by:
Zanasi, Fabio.; Hansen, Helle Hvid.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, language, and computation = 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : rvised selected papers /
by:
Hansen, Helle Hvid.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
SpringerLink (Online service); Scedrov, Andre.; Hansen, Helle Hvid.; Workshop on the Preservation of Stability under Discretization ((2001 :); Queiroz, Ruy J. G. B. de.
(Language materials, printed)
Subjects
Computer logic
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
Logic programming.
Formal Languages and Automata Theory.
Language Translation and Linguistics.
Logic, Symbolic and mathematical
Computational linguistics
Machine theory.
Logic in AI.
Programming languages (Electronic computers)
Mathematics of Computing.
Computer Science.
Logic.
Mathematical Logic and Formal Languages.
Language and logic