Result 1 to 20 of 122 total
Expressible preferential logics. (English)
J. Log. Comput. 22, No. 5, 1125-1143 (2012).
1
A short note on Spector’s proof of consistency of analysis. (English)
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 222-227 (2012).
2
Special issue: CiE: programs, proofs, processes. Selected papers based on the presentations at the 6th meeting CiE 2010, Ponta Delgada, Portugal, June 30 ‒ July 4, 2010. (English)
Theory Comput. Syst. 51, No. 3, 267-400 (2012).
3
Special issue: Computability in Europe 2010. Selected papers based on the presentations at the 6th CiE meeting on programs, proofs, processes, Ponta Delgada, Portugal, June 30 ‒ July 4, 2010. (English)
Ann. Pure Appl. Logic 163, No. 6, 621-742 (2012).
4
Recursive definitions and fixed-points on well-founded structures. (English)
Theor. Comput. Sci. 412, No. 37, 4893-4904 (2011).
5
Practical RDF schema reasoning with annotated Semantic Web data. (English)
Aroyo, Lora (ed.) et al., The semantic web ‒ ISWC 2011. 10th international semantic web conference, Bonn, Germany, October 23‒27, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25072-9/pbk). Lecture Notes in Computer Science 7031, 746-761 (2011).
6
A dynamic field model of ordinal and timing properties of sequential events. (English)
Honkela, Timo (ed.) et al., Artificial neural networks and machine learning ‒ ICANN 2011. 21st international conference on artificial neural networks, Espoo, Finland, June 14‒17, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21737-1/pbk). Lecture Notes in Computer Science 6792, 325-332 (2011).
7
Stochastic ordering of semi-Markov processes. (English)
Kouvatsos, Demetres D. (ed.), Network performance engineering. A handbook on convergent multi-service networks and next generation internet. Berlin: Springer (ISBN 978-3-642-02741-3/pbk). Lecture Notes in Computer Science 5233, 393-422 (2011).
8
Hybrid logics and NP graph properties. (English)
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 123-134 (2011).
9
Price-setting dynamical duopoly with incomplete information. (English)
Tenreiro Machado, J. A. (ed.) et al., Nonlinear science and complexity. Based on the 2nd conference on nonlinear science and complexity, NSC ’08, Porto, Portugal, July 28‒31, 2008. Berlin: Springer (ISBN 978-90-481-9883-2/hbk; 978-90-481-9884-9/ebook). 397-403 (2011).
10
Uncertainty on a Bertrand duopoly with product differentiation. (English)
Tenreiro Machado, J. A. (ed.) et al., Nonlinear science and complexity. Based on the 2nd conference on nonlinear science and complexity, NSC ’08, Porto, Portugal, July 28‒31, 2008. Berlin: Springer (ISBN 978-90-481-9883-2/hbk; 978-90-481-9884-9/ebook). 389-395 (2011).
11
Adding value to bank branch performance evaluation using cognitive maps and MCDA: a case study (English)
JORS 62, No. 7, 1320-1333 (2011).
12
Stochastic ordering of semi-Markov processes (English)
Network Performance Engineering, 393-422 (2011).
13
Towards the automatic design of decision tree induction algorithms (English)
GECCO (Companion), 567-574 (2011).
14
Hybrid logics and NP graph properties (English)
WoLLIC, 123-134 (2011).
15
An online SLAM-based mosaicking using local maps for rovs (English)
ICRA, 1058-1063 (2011).
16
A dynamic field model of ordinal and timing properties of sequential events (English)
ICANN (2), 325-332 (2011).
17
Dual band signal generation for millimeter-wave rof systems with subcarrier multiplexing (English)
EUROCON, 1-4 (2011).
18
Practical RDF schema reasoning with annotated semantic web data (English)
International Semantic Web Conference (1), 746-761 (2011).
19
Proof interpretations and majorizability. (English)
Delon, Françoise (ed.) et al., Logic colloquium 2007. Proceedings of the European summer meeting of the Association for Symbolic Logic, Wrocław, Poland, July 14‒19, 2007. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-76065-2/hbk). Lecture Notes in Logic 35, 32-81 (2010).
20
Result 1 to 20 of 122 total
Start
Contact
Print
General Help
