„higher-order programming“

Suchergebnisse

73 Treffer

• Models of Computation
  Bruni, Roberto ; Montanari, Ugo 2017 Springer International Publishing
• Counterexample generation for higher-order logic using functional and logic programming
  Bulwahn, Lukas
• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer
• Sufficiency and duality in nondifferentiable multiobjective programming involving higher order strong invexity
  Ahmad, Izhar ; Al-Homidan, Suliman
• Theory and practice of higher order parallel programming – 17.02. - 21.02.97
  Cole, Murray 1997 Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes
• Incorporating higher-order point distribution model priors into MRFs using convex quadratic programming
  Arashloo, Shervin Rahimzadeh
• Functional and constraint logic programming – 20th international workshop ; proceedings
  Kuchen, Herbert 2011 Springer
• Higher-order symmetric duality in multiobjective programming problems
  Gao, Ying
• Programming with higher order functions
  Maassen, Andreas 1989 RWTH, Fachgruppe Informatik
• Symmetric duality for a higher-order nondifferentiable multiobjective programming problem
  Debnath, Indira P. ; Gupta, Shiv K. ; Kumar, Sumit
• Alloy*: a general-purpose higher-order relational constraint solver
  Milicevic, Aleksandar ; Near, Joseph P. ; Kang, Eunsuk ; Jackson, Daniel
• Characteristic bisimulation for higher-order session processes
  Kouzapas, Dimitrios ; Pérez, Jorge A. ; Yoshida, Nobuko
• Duality for nondifferentiable minimax fractional programming problem involving higher order $$(\varvec{C},\varvec{\alpha}, \varvec{\rho}, \varvec{d})$$ ( C , α , ρ , d ) -convexity
  Jayswal, Anurag ; Singh, Vivek ; Kummari, Krishna