Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings
Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings
Details
- OL Work ID
- OL17452407W
Subjects
Mathematical Logic and Formal LanguagesBerechnungstheorieComputer logicAlgorithm Analysis and Problem ComplexityLogicFormale GrammatikComputing MethodologiesFormal methods (Computer science)Naturliche SpracheLogikInformatiqueProgramming TechniquesSymbolic and mathematical LogicLogics and Meanings of ProgramsCongressesComputer ScienceProgramming Languages, Compilers, InterpretersTheory of Computation