×
Compute Distance To:
Author ID: marti.johannes Recent zbMATH articles by "Marti, Johannes"
Published as: Marti, Johannes; Marti, J.

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 17 times in 12 Documents Cited by Year
Lax extensions of coalgebra functors and their logic. Zbl 1328.03061
Marti, Johannes; Venema, Yde
4
2015
Lax extensions of coalgebra functors. Zbl 1328.03060
Marti, Johannes; Venema, Yde
4
2012
Standard LISP report. Zbl 0434.68018
Marti, J.; Hearn, A. C.; Griss, M. L.; Griss, C.
4
1980
Topological semantics for conditionals. Zbl 1388.03021
Marti, Johannes; Pinosio, Riccardo
2
2014
Uniform interpolation for coalgebraic fixpoint logic. Zbl 1366.03245
Marti, Johannes; Seifan, Fatemeh; Venema, Yde
1
2015
A game semantics for system P. Zbl 1364.03025
Marti, J.; Pinosio, R.
1
2016
A discrete duality between nonmonotonic consequence relations and convex geometries. Zbl 1481.03011
Marti, Johannes; Pinosio, Riccardo
1
2020
A discrete duality between nonmonotonic consequence relations and convex geometries. Zbl 1481.03011
Marti, Johannes; Pinosio, Riccardo
1
2020
A game semantics for system P. Zbl 1364.03025
Marti, J.; Pinosio, R.
1
2016
Lax extensions of coalgebra functors and their logic. Zbl 1328.03061
Marti, Johannes; Venema, Yde
4
2015
Uniform interpolation for coalgebraic fixpoint logic. Zbl 1366.03245
Marti, Johannes; Seifan, Fatemeh; Venema, Yde
1
2015
Topological semantics for conditionals. Zbl 1388.03021
Marti, Johannes; Pinosio, Riccardo
2
2014
Lax extensions of coalgebra functors. Zbl 1328.03060
Marti, Johannes; Venema, Yde
4
2012
Standard LISP report. Zbl 0434.68018
Marti, J.; Hearn, A. C.; Griss, M. L.; Griss, C.
4
1980

Citations by Year