scholarly journals A Rewriting Logic Approach to Type Inference

2009 ◽  
pp. 135-151 ◽  
Author(s):  
Chucky Ellison ◽  
Traian Florin Şerbănuţă ◽  
Grigore Roşu
Keyword(s):  
Type Inference ◽  
Rewriting Logic ◽  
Logic Approach

scholarly journals A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

2007 ◽  
Vol 192 (1) ◽  
pp. 125-141 ◽  
Author(s):  
Traian Florin Şerbănuţă ◽  
Grigore Roşu ◽  
José Meseguer
Keyword(s):  
Operational Semantics ◽  
Rewriting Logic ◽  
Logic Approach

scholarly journals A rewriting logic approach to operational semantics

2009 ◽  
Vol 207 (2) ◽  
pp. 305-340 ◽  
Author(s):  
Traian Florin Şerbănuţă ◽  
Grigore Roşu ◽  
José Meseguer
Keyword(s):  
Operational Semantics ◽  
Rewriting Logic ◽  
Logic Approach

Design of a Fuzzy Logic Approach for Optimization of Fracture Length in Hydrofracturing Technique

2013 ◽  
Vol 7 (5) ◽  
pp. 991
Author(s):  
B. Guruprasad ◽  
A. Ragupathy ◽  
T. S. Badrinarayanan ◽  
E. Sambath
Keyword(s):  
Fuzzy Logic ◽  
Fracture Length ◽  
Fuzzy Logic Approach ◽  
Logic Approach

A FUZZY LOGIC APPROACH FOR STRUCTURAL COMPARISON, RATING, AND FINDING DISTINCT INVERSIONS OF KINEMATIC CHAINS

2017 ◽  
Vol 12 (2) ◽  
pp. 16
Author(s):  
RAO V. SRINIVASA ◽  
RAO K. MALLIKARJUNA ◽  
RAO A.B. SRINIVASA ◽  
◽  
◽  
...  
Keyword(s):  
Fuzzy Logic ◽  
Structural Comparison ◽  
Kinematic Chains ◽  
Fuzzy Logic Approach ◽  
Logic Approach
Sign in / Sign up

Export Citation Format

Share Document