default search action
Journal of Applied Logic, Volume 10
Volume 10, Number 1, March 2012
- Laura Kovács
, Temur Kutsia
Special issue on Automated Specification and Verification of Web Systems. 1
- Rosario Pugliese
A calculus for orchestration of web services. 2-31 - Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov:
Translating regular expression matching into transducers. 32-51
- Renate A. Schmidt
The Ackermann approach for modal logic, correspondence theory and second-order reduction. 52-74 - Sven Ove Hansson:
Eradication. 75-84 - Elisabetta Pastori:
A note on two of Hrushovskiʼs constructions. 85-91 - Giuseppe Primiero
A modal type theory for formalizing trusted communications. 92-114 - Stephen A. Selesnick, Gareth S. Owen
Quantum-like logics and schizophrenia. 115-126 - Adel Bouhoula, Florent Jacquemard:
Sufficient completeness verification for conditional and constrained TRS. 127-143 - Achim Blumensath:
Locality and modular Ehrenfeucht-Fraïssé games. 144-162
Volume 10, Number 2, June 2012
- Roger Villemaire, Sylvain Hallé
Reasoning about visibility. 163-178 - Benedikt Bollig, Dietrich Kuske:
An optimal construction of Hanf sentences. 179-186 - Mariusz Zynel
Correlations of spaces of pencils. 187-198 - Murdoch James Gabbay
Unity in nominal equational reasoning: The algebra of equality on nominal sets. 199-217
Volume 10, Number 3, September 2012
- Daniel Rönnedal:
Temporal alethic-deontic logic and semantic tableaux. 219-237 - Roberta Ballarin:
Quine on intensional entities: Modality and quantification, truth and satisfaction. 238-249 - Roberta Ballarin:
Opacity and the double life of singular propositions. 250-259 - Philippe Balbiani
Deciding the word problem in pure double Boolean algebras. 260-273
Volume 10, Number 4, December 2012
- Emilio Corchado, Ajith Abraham, Václav Snásel, Javier Sedano, José Luís Calvo-Rolle
Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications. 275-276 - Aboul Ella Hassanien
Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks. 277-284 - Manuel J. C. S. Reis
Automatic detection of bunches of grapes in natural environment from color images. 285-290 - María Jesús Jiménez-Come, Eva Muñoz, Rosa García, Victoria Matres, M. Luz Martín, Francisco Trujillo, Ignacio J. Turias
Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques. 291-297 - Andrés Sanz-García
Combining genetic algorithms and the finite element method to improve steel industrial processes. 298-308
- Simon Wells
A domain specific language for describing diverse systems of dialogue. 309-329 - Alwen Tiu, Alberto Momigliano
Cut elimination for a logic with induction and co-induction. 330-367 - Bruno Courcelle, Irène Durand:
Automata for the verification of monadic second-order graph properties. 368-409 - Imen Bourguiba, Belaid Moa:
Improving the semantics of the Software Cost Reduction method. 410-418 - Silvio do Lago Pereira, Leliane Nunes de Barros:
A planner agent that tries its best in presence of nondeterminism. 419-430 - Wenyan Xu, Sanyang Liu:
The countable versus uncountable branching recurrences in computability logic. 431-446
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: