Logic approach to combinatorial computations

zbMATH Open0732.90070MaRDI QIDQ809894FDOQ809894

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
• Title not available (Why is that?)

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)