| ชื่อเรื่อง | : | Decidability of Bisimulation Equivalence for Pushdown Processes |
| นักวิจัย | : | Stirling, Colin |
| คำค้น | : | Informatics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | http://hdl.handle.net/1842/3393 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | Informatics Report Series , EDI-INF-RR-0005 |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We show that bisimulation equivalence is decidable for pushdown automata without epsilon-transitions. |
| บรรณานุกรม | : |
Stirling, Colin . (2543). Decidability of Bisimulation Equivalence for Pushdown Processes.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Stirling, Colin . 2543. "Decidability of Bisimulation Equivalence for Pushdown Processes".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Stirling, Colin . "Decidability of Bisimulation Equivalence for Pushdown Processes."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print. Stirling, Colin . Decidability of Bisimulation Equivalence for Pushdown Processes. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
