|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis |
The marriage of bisimulations and Kripke logical relations.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
On the mathematical synthesis of equational logics |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur, Derek Dreyer |
A kripke logical relation between ML and assembly. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
Separation Logic in the Presence of Garbage Collection. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
Second-Order Equational Logic (Extended Abstract). |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
On the construction of free algebras for equational systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
Mathematical Synthesis of Equational Deduction Systems. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Chung-Kil Hur |
Biorthogonality, step-indexing and compiler correctness. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification |
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
Term Equational Systems and Logics: (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
Equational Systems and Free Constructions (Extended Abstract). |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")