Martin Gius

According to our database, Martin Gius authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Sequent-type rejection systems for finite-valued non-deterministic logics.

Martin Gius, Hans Tompits

J. Appl. Non Class. Logics, October, 2023