A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng

DOI10.1007/978-3-642-39698-4_4zbMath1391.01055OpenAlexW1728077340WikidataQ56939587 ScholiaQ56939587MaRDI QIDQ2842626

Jonathan P. Bowen

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_4

zbMATH Keywords

Erdős numberpublication metrics

Mathematics Subject Classification ID

Bibliographic studies (01A90)

Related Items (2)

Jifeng He at Oxford and beyond: an appreciation ⋮ Communities and ancestors associated with Egon Börger and ASM

Uses Software

• Z
• Fuzz

Cites Work

• An index to quantify an individual's scientific research output
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Specification, verification and prototyping of an optimized compiler
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng