On branching and looping. I

DOI10.1016/0304-3975(80)90014-6MaRDI QIDQ1134530zbMATH OpenOpenAlexFDO

Authors Ivan Havel

Publication date 1980

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(80)90014-6

zbMATH Keywords

branchingiterationgame playingrobot planningloopingcomputing theoryfinite branching automatonfurcation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68T99) Theory of computing (68Q99)

Cites work

• scientific article; zbMATH DE number 3135405 (Why is no real title available?)
• scientific article; zbMATH DE number 3480108 (Why is no real title available?)
• scientific article; zbMATH DE number 3492660 (Why is no real title available?)
• scientific article; zbMATH DE number 3514987 (Why is no real title available?)
• scientific article; zbMATH DE number 3521954 (Why is no real title available?)
• scientific article; zbMATH DE number 3523523 (Why is no real title available?)
• scientific article; zbMATH DE number 3529441 (Why is no real title available?)
• scientific article; zbMATH DE number 3583727 (Why is no real title available?)
• scientific article; zbMATH DE number 3604397 (Why is no real title available?)
• scientific article; zbMATH DE number 3612459 (Why is no real title available?)
• scientific article; zbMATH DE number 3451781 (Why is no real title available?)
• scientific article; zbMATH DE number 3307580 (Why is no real title available?)
• scientific article; zbMATH DE number 3078993 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• A logical theory of robot problem solving
• A representation of trees by languages. I
• Algebraic linguistics; analytical models
• An admissible and optimal algorithm for searching AND/OR graphs
• Generalized AND/OR graphs
• ON AN AUTOMATON WHICH RECOGNIZES A FAMILY OF AUTOMATA
• On some operators reducing generalized grammars
• Solving Sequential Conditions by Finite-State Strategies

This page was built for publication: On branching and looping. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1134530)