A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4

1997 ◽  
Vol 5 (2) ◽  
pp. 287-300 ◽  
Author(s):  
S. Cerrito
Keyword(s):  
Polynomial Translation

Polynomial Translation Groups

1983 ◽  
Vol 56 (1) ◽  
pp. 23 ◽  
Author(s):  
Dan Kalman
Keyword(s):  
Polynomial Translation

scholarly journals A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

2013 ◽  
Vol 9 (3) ◽  
Author(s):  
Victor Khomenko ◽  
Roland Meyer ◽  
Reiner Hüchting
Keyword(s):  
Petri Nets ◽  
Pi Calculus ◽  
Polynomial Translation

Classification of polynomial translation hypersurfaces of finite type

1995 ◽  
Vol 27 (3-4) ◽  
pp. 244-249 ◽  
Author(s):  
F. Dillen ◽  
L. Verstraelen ◽  
L. Vrancken ◽  
G. Zafindratafa
Keyword(s):  
Finite Type ◽  
Polynomial Translation

Polynomial Translation Groups

1983 ◽  
Vol 56 (1) ◽  
pp. 23-25
Author(s):  
Dan Kalman
Keyword(s):  
Polynomial Translation

Polynomial translation modules and Casimir invariants

1993 ◽  
Vol 26 (5) ◽  
pp. L225-L227
Author(s):  
L Abellanas ◽  
L Martinez Alonso ◽  
C Martinez Ontalba
Keyword(s):  
Casimir Invariants ◽  
Polynomial Translation
Sign in / Sign up

Export Citation Format

Share Document