{"_id":"DJ3C9D8mWAh9KQzYs","bibbaseid":"liu-orgun-dealingwithmultiplegranularityoftimeintemporallogicprogramming-1996","downloads":0,"creationDate":"2015-10-09T01:43:11.995Z","title":"Dealing with Multiple Granularity of Time in Temporal Logic Programming","author_short":["Liu, C.","Orgun, M. A."],"year":1996,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/o/Orgun:Mehmet_A=","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Chuchang"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Mehmet","A."],"propositions":[],"lastnames":["Orgun"],"suffixes":[]}],"title":"Dealing with Multiple Granularity of Time in Temporal Logic Programming","journal":"J. Symb. Comput.","volume":"22","number":"5/6","pages":"699–720","year":"1996","url":"https://doi.org/10.1006/jsco.1996.0072","doi":"10.1006/jsco.1996.0072","timestamp":"Wed, 17 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/jsc/LiuO96.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Liu, C.","Orgun, M. A."],"key":"DBLP:journals/jsc/LiuO96","id":"DBLP:journals/jsc/LiuO96","bibbaseid":"liu-orgun-dealingwithmultiplegranularityoftimeintemporallogicprogramming-1996","role":"author","urls":{"Paper":"https://doi.org/10.1006/jsco.1996.0072"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["dealing","multiple","granularity","time","temporal","logic","programming","liu","orgun"],"keywords":[],"authorIDs":[],"dataSources":["4JocmSptLqeD5K7hG","uPDiu8Pvr23e2uyMf"]}