Skip to main content
Akadem
Index
Ecosystem
Products
AkademIndex
Scholarly search & discovery
AkademScholar
Metrics & scholarly analytics
AkademID
soon
Author identifier & profiles
For developers
AkademBase
Open API for the ecosystem
Search
About
Coverage
Help
English
English
Light
Light
English
English
Search
Yongmei Liu
1 works
Hoare logic for GOLOG programs
Yongmei Liu
Dissertation
Logic, programming, and type systems
TSpace
2000
0 citations
ABI
ABI:AkademIndex/openalex/2000.dissertation.000005