( en | de | ru )

 

Disambiguation of "Hughes, Jesse"

Author of the publication

copydeleteadd this publication to your clipboard
A Semantics for Means-end Relations.

, , and . Synthese, 158 (2): 207-231 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jula Hughes

Herta Hughes

Shiree Hughes

Alex Hughes

Zemian Hughes

 

Other publications of authors with the same name

Modal Operators for Coequations.. CMCS, volume 44 of Electronic Notes in Theoretical Computer Science, page 205-226. Elsevier, (2001)A Semantics for Means-end Relations., , and . Synthese, 158 (2): 207-231 (2007)The Coinductive Approach to Verifying Cryptographic Protocols., and . WADT, volume 2755 of Lecture Notes in Computer Science, page 268-283. Springer, (2002)Some Co-Birkhoff Type Theorems.. CMCS, volume 65 of Electronic Notes in Theoretical Computer Science, page 92-111. Elsevier, (2002)Don't Ever Do That! Long-Term Duties in PDeL., and . DEON, volume 4048 of Lecture Notes in Computer Science, page 131-148. Springer, (2006)Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem., and . Math. Struct. Comput. Sci., 13 (2): 233-258 (2003)