Logic approach to combinatorial computations

MaRDI QIDQ809894zbMATH OpenFDO

Authors Mark Sapir

Publication date 1990

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

data structure description languageDijkstra's algorithm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Symbolic computation and algebraic computation (68W30) Combinatorial optimization (90C27) Programming involving graphs or networks (90C35)

Cited in

(2)

• A foray into combinatory logic
• scientific article; zbMATH DE number 6157246 (Why is no real title available?)

This page was built for publication: Logic approach to combinatorial computations

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