Pages that link to "Item:Q2432763"
From MaRDI portal
The following pages link to A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763):
Displaying 7 items.
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Connecting many-sorted theories (Q5294025) (← links)
- Automated Reasoning (Q5307057) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)