scholarly journals On the Power of Automata Minimization in Reactive Synthesis

2021 ◽  
Vol 346 ◽  
pp. 117-134
Author(s):  
Shufang Zhu ◽  
Lucas M. Tabajara ◽  
Geguang Pu ◽  
Moshe Y. Vardi
Keyword(s):  
Reactive Synthesis

Reactive synthesis of ceramic materials in microgravity

1995 ◽  
Author(s):  
C Lantz ◽  
P Tefft ◽  
J Moore ◽  
D Ready
Keyword(s):  
Ceramic Materials ◽  
Reactive Synthesis

Reactive synthesis of intermetallics

1993 ◽  
Vol 14 (6) ◽  
pp. 365
Author(s):  
René M. Cooper
Keyword(s):  
Reactive Synthesis

Porous FeAl intermetallics fabricated by elemental powder reactive synthesis

2009 ◽  
Vol 17 (12) ◽  
pp. 1041-1046 ◽  
Author(s):  
Haiyan Gao ◽  
Yuehui He ◽  
Peizhi Shen ◽  
Jin Zou ◽  
Nanping Xu ◽  
...  
Keyword(s):  
Elemental Powder ◽  
Reactive Synthesis

scholarly journals The Second Reactive Synthesis Competition (SYNTCOMP 2015)

2016 ◽  
Vol 202 ◽  
pp. 27-57 ◽  
Author(s):  
Swen Jacobs ◽  
Roderick Bloem ◽  
Romain Brenguier ◽  
Robert Könighofer ◽  
Guillermo A. Pérez ◽  
...  
Keyword(s):  
Reactive Synthesis
Sign in / Sign up

Export Citation Format

Share Document