Browse by Journal and Volume

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

Jump to: H

Number of items: 1.

H

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2000) Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3), pp. 85-134. ISSN 0168-0072.

This list was generated on Sat Dec 21 04:30:27 2024 GMT.

Export as	Atom RSS