An efficient algorithm for representing piecewise linear functions into logic (2020)
Preto, Sandro 
; Finger, Marcelo
Fonte: Electronic Notes in Theoretical Computer Science. Nome do evento: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020. Unidade: IME
Assuntos: LÓGICA FORMAL, SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2020.08.009. Acesso em: 12 nov. 2025. , 2020APA
Preto, S., & Finger, M. (2020). An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2020.08.009NLM
Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2025 nov. 12 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009Vancouver
Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2025 nov. 12 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009
