Αρχειοθήκη ιστολογίου

Παρασκευή 17 Νοεμβρίου 2017

The temporal logic of two dimensional Minkowski spacetime is decidable

Hirsch, RD; (2018) The temporal logic of two dimensional Minkowski spacetime is decidable. Journal of Symbolic Logic (In press).

http://ift.tt/2yPqdaW

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου