On the interpretability of arithmetic in temporal logic

From MaRDI portal
Publication:915718

DOI10.1016/0304-3975(90)90161-AzbMath0703.03004MaRDI QIDQ915718

Fred Kröger

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)




Related Items



Cites Work


This page was built for publication: On the interpretability of arithmetic in temporal logic