Sequents, Frames, and Completeness
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
On the relationship between compact regularity and Gentzen's cut rule
Theoretical Computer Science - Logic, semantics and theory of programming
Entailment systems for stably locally compact locales
Theoretical Computer Science - Logic, semantics and theory of programming
Stably Compact Spaces and the Probabilistic Powerspace construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Priestley Duality for Strong Proximity Lattices
Electronic Notes in Theoretical Computer Science (ENTCS)
The tensor product as a lattice of regular galois connections
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
| Hi-index | 0.00 |