A. Peron (peron-a)

Contributions to Philosophie.ch

No contributions yet

Bibliography

Bonatti, Piero A. and Peron, A. 2004. “On the Undecidability of Logics with Converse, Nominals, Recursion, and Counting.” Artificial Intelligence 158(1): 75–96.