Pages that link to "Item:Q293360"
From MaRDI portal
The following pages link to On the complexity of Boolean unification (Q293360):
Displaying 5 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Lost in translation: language independence in propositional logic -- application to belief change (Q490446) (← links)
- Boolean functional synthesis: hardness and practical algorithms (Q2050108) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Towards Parallel Boolean Functional Synthesis (Q3303903) (← links)
