Merkliste 
 1 Ergebnisse 
 
1

Axiomatization of Hybrid Logic of Link Variations:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,
Du, Penghao ; Chen, Qian - p. 35-51 , 2024