The SCEAS System
Navigation Menu

Paper info

Moshe Y. Vardi
A Temporal Fixpoint Calculus. [Citation Graph (3, 0)][DBLP]
POPL, 1988, pp:250-259 [Conf]

Scores and Rank
SCEAS: 0.60134
SCEAS_PS: 0.03338
SCEAS_BPS: 0.07746
SCEAS_EPS: 0.08147
SCEAS_BEPS: 0.17542
SCEAS_B0: 3.29117
PAGE_RANK: 0.57745
HITS_H: 0
HITS_A: 0.08531
BHITS_H: 0
BHITS_A: 0.00453
SALSA_A: 0.49669
SALSA_H: 0
BSALSA_A: 0.14679
BSALSA_H: 0
P: 0.00000
BCC: 0.21293
citations_to_me: 3
citations_from_me: 0



Graph produced by graphviz-1.8.5
Level:
Show on graph: DBLP citations: Citations Imported from Citeseer:

Level:
Show on graph: DBLP citations: Citations Imported from Citeseer:

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002