Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tomislav Herman
Claudia Calabrese
Daniel Mendez
Hao Mao
Peter Malec
Alexandros Spournias
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
GUILLERMO MOLERO-CASTILLO
Author Info
Open Visualization
Name
Affiliation
Papers
GUILLERMO MOLERO-CASTILLO
UNAM Coyoacan Mayors Off, Mexico City 04510, DF, Mexico
1
Collaborators
Citations
PageRank
4
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (4 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Mu-Calculus Satisfiability With Arithmetic Constraints
0
0.34
2020
1