Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: W

Number of items: 1.

W

Wolter, F. and Zakharyaschev, Michael (2002) Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic 118 (1-2), pp. 133-145. ISSN 0168-0072.

This list was generated on Sun Mar 2 02:20:13 2025 GMT.

Export as	Atom RSS