Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Underspecified Quantification by the Theory of Acyclic Recursion
Stockholm University, Faculty of Science, Department of Mathematics.ORCID iD: 0000-0001-9678-955X
2016 (English)In: Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection / [ed] Fernando de la Prieta, María J. Escalona, Rafael Corchuelo, Philippe Mathieu, Zita Vale, Andrew T. Campbell, Silvia Rossi, Emmanuel Adam, María D. Jiménez-López, Elena M. Navarro, María N. Moreno, 2016, 237-249 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
2016. 237-249 p.
Series
Advances in Intelligent Systems and Computing (AISC), ISSN 2194-5357 ; 473
Keyword [en]
algorithms, recursion, quantifiers, underspecification
National Category
Natural Sciences
Research subject
Mathematical Logic
Identifiers
URN: urn:nbn:se:su:diva-140031DOI: 10.1007/978-3-319-40159-1_20ISBN: 978-3-319-40158-4 (print)ISBN: 978-3-319-40159-1 (electronic)OAI: oai:DiVA.org:su-140031DiVA: diva2:1077068
Available from: 2017-02-24 Created: 2017-02-24 Last updated: 2017-03-01

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://link.springer.com/chapter/10.1007%2F978-3-319-40159-1_20

Search in DiVA

By author/editor
Loukanova, Roussanka
By organisation
Department of Mathematics
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf