ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
Active Data | ResearchHub
ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
Active Data
By
Richard Arthur
Richard Arthur
April 22, 2026
23
Paper
Reviews
0
Conversation
0
Bounties
0
Loading PDF viewer…
Preprint Server
Topics
#computer-science
#artificial-intelligence
#logic-reasoning-and-knowledge
#formal-methods-in-verification
#advanced-database-systems-and-queries
DOI
10.1007/978-3-540-39964-3_91
License
CC-BY-NC-SA
Other Formats
PDF
