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 science—Mathematics.
Formal Languages and Automata Theory.
Language Translation and Linguistics.
Computational linguistics
Logic in AI.
Mathematics of Computing.
Computer Science.
Logic.
Mathematical Logic and Formal Languages.
Computer logic
Artificial Intelligence (incl. Robotics)
Logic programming.
Logic, Symbolic and mathematical
Machine theory.
Programming languages (Electronic computers)
Language and logic