Pages that link to "ACM Transactions on Computational Logic"
From HandWiki
The following pages link to ACM Transactions on Computational Logic:
Displayed 14 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Computational logic (← links)
- Prime number theorem (← links)
- Complementation of Büchi automaton (← links)
- Timed automaton (← links)
- Admissible rule (← links)
- LOOP (programming language) (← links)
- Logic programming (← links)
- Event calculus (← links)
- List of computer science journals (← links)
- Symposium on Logic in Computer Science (← links)
- Biography:Vladimir Lifschitz (← links)
- Biography:Krzysztof R. Apt (← links)
- Biography:Dale Miller (academic) (← links)
- Organization:Association for Computing Machinery (← links)