Congruence formats for weak readiness equivalence and weak possible future equivalence /

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Huang, Xiaowei.
Beste egile batzuk:	Jiao, Li., Lu, Weiming.
Formatua:	Artikulua
Hizkuntza:	English
Gaiak:	Congruence formats Structural operational semantics Weak equivalences
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Deskribapena
Deskribapenik ez dago.

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_423kihl2ijqhqr65r0ktggdqeg
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235

Congruence formats for weak readiness equivalence and weak possible future equivalence /

Antzeko izenburuak