Login / Signup

Bi-Simulating in Bi-Intuitionistic Logic.

Guillermo Badia
Published in: Stud Logica (2016)
Keyphrases
  • intuitionistic logic
  • databases