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

Dijkstra's algorithmdata structure description language

Mathematics Subject Classification ID

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

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)