Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Explore
Search
Special collections
Statistics
News
Help
Start on ORBi
Deposit
Profile
Publication List
Add your ORCID
Tutorials
Legal Information
Training sessions
About
What's ORBi ?
Impact and visibility
Around ORBi
About statistics
About metrics
OAI-PMH
ORBi team
Release Notes
Back
Home
Detailled Reference
No full text
Contribution to collective works (Parts of books)
Temporal Logic
Gribomont, Pascal
;
Wolper, Pierre
1989
•
In
From Modal Logic to Deductive Databases
Permalink
https://hdl.handle.net/2268/184448
Files (0)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
No document available.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Disciplines :
Computer science
Author, co-author :
Gribomont, Pascal
;
Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle
Wolper, Pierre
;
Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
Temporal Logic
Publication date :
1989
Main work title :
From Modal Logic to Deductive Databases
Publisher :
John Wiley and Sons
Available on ORBi :
since 31 July 2015
Statistics
Number of views
54 (7 by ULiège)
Number of downloads
0 (0 by ULiège)
More statistics
Bibliography
Similar publications
Contact ORBi
