Different Types of Arrow Between Logical Frameworks
Authors:
Till Mossakowski
Affiliations:
-
Venue:
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
Year:
1996
Citing
0
Cited
1
Institutional semantics for many-valued logics
Fuzzy Sets and Systems
Quantified Score
Hi-index
0.00
Visualization
Abstract