Towards parameterized regular type inference using set constraints
19th Workshop on Logic-based methods in Programming Environments, WLPE 2009
Saved in:
Main Authors: | Bueno, F., Navas, J., Hermenegildo, M. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2016
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/130097 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Towards decentralized and parameterized supervisor synthesis
by: Lin, Liyong
Published: (2015) -
Shape and topology optimization of compliant mechanisms using a parameterization level set method
by: Luo, Z., et al.
Published: (2014) -
A level set-based parameterization method for structural shape and topology optimization
by: Luo, Z., et al.
Published: (2014) -
Space-time tradeoffs for the regular constraint
by: Cheng, K.C.K., et al.
Published: (2013) -
Novel parameterized distance measures on hesitant fuzzy sets with credibility degree and their application in decision-making
by: Li, J., et al.
Published: (2021)