Processes, Terms and Cycles: Steps on the Road to Infinity
From MaRDI portal
Publication:5898151
DOI10.1007/11601548zbMATH Open1171.68412OpenAlexW2234185834MaRDI QIDQ5898151FDOQ5898151
Publication date: 13 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11601548
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (10)
- Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming
- Title not available (Why is that?)
- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
- Monadic constraint programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing Explanations for the Unary Resource Constraint
- Placement Inference for a Client-Server Calculus
- Identifying and exploiting problem structures using explanation-based constraint programming
- Title not available (Why is that?)
This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898151)