Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Clare Dixon (Editor), Marcelo Finger (Editor)

Research output: Book/ReportBookpeer-review

Original languageEnglish
Publication statusPublished - 2017

Publication series

NameLecture Notes in Computer Science
Volume10483

Keywords

  • Computer software
  • Computer logic
  • Computer Appl. in Administrative Data Processing
  • Logic design
  • Application software
  • Information systems
  • Computer science
  • Algorithms
  • Software Engineering
  • Computer Science
  • Artificial Intelligence (incl. Robotics)
  • Mathematical logic
  • Artificial intelligence
  • Algorithm Analysis and Problem Complexity
  • Logics and Meanings of Programs
  • Software engineering
  • Mathematical Logic and Formal Languages

Cite this