Reasoning with Time and Chance (Extended Abstract)

• Authors:

• Daniel J. Lehmann;Saharon Shelah

• Affiliations:

• -;-

• Venue:
• Proceedings of the 10th Colloquium on Automata, Languages and Programming
• Year:
• 1983