| dc.contributor.author |
Bhargavan, Karthikeyan |
|
| dc.contributor.author |
Bichhawat, Abhishek |
|
| dc.contributor.author |
Huy Do, Quoc |
|
| dc.contributor.author |
Hosseyni, Pedram |
|
| dc.contributor.author |
K�sters, Ralf |
|
| dc.contributor.author |
Schmitz, Guido |
|
| dc.contributor.author |
W�rtele, Tim |
|
| dc.contributor.other |
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday - Festschrift |
|
| dc.date.accessioned |
2021-12-01T13:18:12Z |
|
| dc.date.available |
2021-12-01T13:18:12Z |
|
| dc.date.issued |
2021-12 |
|
| dc.identifier.citation |
Bhargavan, Karthikeyan; Bichhawat, Abhishek; Huy Do, Quoc; Hosseyni, Pedram; K�sters, Ralf; Schmitz, Guido and W�rtele, Tim, "A tutorial-style introduction to DY*", in the Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday - Festschrift, Dec., 2021 |
en_US |
| dc.identifier.uri |
https://repository.iitgn.ac.in/handle/123456789/7323 |
|
| dc.description.statementofresponsibility |
by Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf K�sters, Guido Schmitz and Tim W�rtele |
|
| dc.language.iso |
en_US |
en_US |
| dc.title |
A tutorial-style introduction to DY* |
en_US |
| dc.type |
Conference Paper |
en_US |