Encoding Hamiltonian circuits into multiplicative linear logic

DOI10.1016/S0304-3975(00)00381-9zbMath0989.68133OpenAlexW1994405909MaRDI QIDQ5958784

Thomas Krantz, Virgile Mogbil

Publication date: 3 March 2002

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00381-9

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decision problems for propositional linear logic
• The structure of multiplicatives
• The undecidability of second order multiplicative linear logic
• The undecidability of second order linear logic without exponentials

This page was built for publication: Encoding Hamiltonian circuits into multiplicative linear logic