Conditional term rewriting systems : 3. international workshop, CTRS-92 : Pont-a-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J. L. Remy (eds.) |
Autore | CTRS : <3. : ; 1992 |
Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, c1993 |
Descrizione fisica | XI, 501 p. ; 24 cm. |
Disciplina | 005.131 |
Collana | Lecture notes in computer science |
ISBN |
0387563938
3540563938 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013161 |
CTRS : <3. : ; 1992 | ||
Berlin [etc.], : Springer-Verlag, c1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Conditional Term Rewriting Systems [[electronic resource] ] : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings / / edited by Stephane Kaplan, Jean-Pierre Jouannaud |
Edizione | [1st ed. 1988.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
Descrizione fisica | 1 online resource (VIII, 284 p.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Mathematical Logic and Formal Languages |
ISBN | 3-540-39166-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Semantics for Prolog via term rewrite systems -- Hierarchical contextual rewriting with several levels -- Confluence of conditional rewrite systems -- Solving goals in equational languages -- On the use of conditional rewrite rules in inductive theorem proving -- A completion procedure for conditional equations -- A compiler for a class of conditional term rewriting systems -- Notes on the elimination of conditions -- Equational axiomatizations of if-then-else -- Compiling conditional rewriting systems -- Positive/negative conditional rewriting -- On word problems in Horn theories -- Conditional specifications with inequational assumptions -- A logical analysis on theory of conditional rewriting -- Computing with conditional rewrite rules -- A logic for conditional term rewriting systems -- Confluent term rewriting systems with membership conditions -- TRSPEC: A term rewriting based system for algebraic specifications -- CEC: A system for the completion of conditional equational specifications -- Asspegique -- REVEUR4: A laboratory for conditional rewriting -- An introduction to OBJ 3 -- The Passau RAP system: Rapid prototyping for algebraic specifications -- Architecture for conditional term rewriting. |
Record Nr. | UNISA-996465686603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Constraint Solving and Language Processing [[electronic resource] ] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / / edited by Denys Duchier, Yannick Parmentier |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 179 p. 30 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Artificial intelligence Software engineering Compilers (Computer programs) Information storage and retrieval systems Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence Software Engineering Compilers and Interpreters Information Storage and Retrieval |
ISBN | 3-642-41578-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint-Based Treebanks -- An Account of Natural Language Coordination in Type Theory with Coercive Subtyping -- A Speaker-Referring OT Pragmatics of Quantity Expressions -- Modelling Language, Action, and Perception in Type Theory with Records -- Probabilistic Grammar Induction in an Incremental Semantic Framework -- A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion -- Ontology Driven Contextual Best Fit in Embodied Construction Grammar -- Describing Music with MetaGrammars -- Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules. |
Record Nr. | UNISA-996465559103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Constraint Solving and Language Processing [[electronic resource] ] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / / edited by Denys Duchier, Yannick Parmentier |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 179 p. 30 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Artificial intelligence Software engineering Compilers (Computer programs) Information storage and retrieval systems Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Artificial Intelligence Software Engineering Compilers and Interpreters Information Storage and Retrieval |
ISBN | 3-642-41578-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint-Based Treebanks -- An Account of Natural Language Coordination in Type Theory with Coercive Subtyping -- A Speaker-Referring OT Pragmatics of Quantity Expressions -- Modelling Language, Action, and Perception in Type Theory with Records -- Probabilistic Grammar Induction in an Incremental Semantic Framework -- A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion -- Ontology Driven Contextual Best Fit in Embodied Construction Grammar -- Describing Music with MetaGrammars -- Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules. |
Record Nr. | UNINA-9910483481903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Constraints in computational logics : first international conference, CCL '94 : Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.) |
Autore | International conference constraints in computational logics : <1. : ; 1994 |
Pubbl/distr/stampa | Berlin \etc.!, : Springer, c1994 |
Descrizione fisica | VIII, 367 p. ; 24 cm |
Disciplina |
005.13
005.131 |
Collana | Lecture notes in computer science |
Soggetto topico | Logica matematica - Congressi - 1994 |
ISBN | 354058403X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10008300 |
International conference constraints in computational logics : <1. : ; 1994 | ||
Berlin \etc.!, : Springer, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Constructivity in computer science : Summer symposium : San Antonio, TX, June 19-22, 1991 : proceedings / J. P. Myers, Jr., M. J. O'Donnell (eds.) |
Autore | Summer symposium on constructivity in computer science : <1991 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, 1992 |
Descrizione fisica | X, 246 p. ; 25 cm |
Disciplina |
005.13
005.131 |
Collana | Lecture notes in computer science |
Soggetto topico | Elaboratori elettronici - Linguaggi - Congressi - 1991 |
ISBN |
0387556311
3540556311 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10013626 |
Summer symposium on constructivity in computer science : <1991 | ||
Berlin [etc.], : Springer, 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Context-Free Grammars [[electronic resource] ] : Covers, Normal Forms, and Parsing / / by A. Nijholt |
Autore | Nijholt A |
Edizione | [1st ed. 1980.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 |
Descrizione fisica | 1 online resource (CCLXVIII, 258 p.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Mathematical Logic and Formal Languages |
ISBN | 3-540-38330-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | and preliminaries -- Grammar covers and related concepts -- Covers, parsing and normal forms -- Properties of covers and preliminary transformations -- Normal form covers for context-free grammars -- The cover-table for context-free grammars -- Normal form covers for regular grammars -- Deterministically parsable grammars -- Covers and deterministically parsable grammars -- Normal form covers for deterministically parsable grammars -- Covers properties of simple chain grammars -- Transformations and parsing strategies: A concrete approach. |
Record Nr. | UNISA-996465481703316 |
Nijholt A | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Controlled Natural Language [[electronic resource] ] : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings / / edited by Tobias Kuhn, Norbert E Fuchs |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 190 p. 34 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Artificial intelligence Information storage and retrieval Natural language processing (Computer science) Application software Mathematical Logic and Formal Languages Artificial Intelligence Information Storage and Retrieval Natural Language Processing (NLP) Information Systems Applications (incl. Internet) |
ISBN | 3-642-32612-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Applying CNL Authoring Support to Improve Machine Translation of Forum Data -- SQUALL: A Controlled Natural Language for Querying and Updating RDF Graphs -- Answer Set Programming via Controlled Natural Language Processing -- OWL Simplified English: A Finite-State Language for Ontology Editing.-Spatiotemporal Extensions to a Controlled Natural Language.-Controlled Natural Language in Speech Recognition Based User Interfaces -- An Adaptation Technique for GF-Based Dialogue Systems -- General Architecture of a Controlled Natural Language Based Multilingual Semantic Wiki -- FrameNet Resource Grammar Library for GF.-Legislative Drafting Guidelines: How Different Are They from Controlled Language Rules for Technical Writing?.Portuguese Controlled Language: Coping with Ambiguity -- Multilingual Verbalisation of Modular Ontologies Using GF and lemon. |
Record Nr. | UNISA-996466060303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Correct Reasoning [[electronic resource] ] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XI, 594 p. 41 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Artificial intelligence Computer science Software engineering Computer programming Compilers (Computer programs) Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters |
ISBN | 3-642-30743-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465562103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cyberpatterns [[electronic resource] ] : Unifying Design Patterns with Security and Attack Patterns / / edited by Clive Blackwell, Hong Zhu |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (255 p.) |
Disciplina |
004
004.6 005.131 005.8 |
Soggetto topico |
Computer security
Computer communication systems Pattern recognition Mathematical logic Systems and Data Security Computer Communication Networks Pattern Recognition Mathematical Logic and Formal Languages |
ISBN | 3-319-04447-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cyberpatterns: Towards a Pattern Oriented Study of Cyberspace -- Towards a Conceptual Framework for Security Patterns -- Design Patterns: Applications and Open Issues -- Challenges For A Formal Framework for Patterns -- Design Space-Based Pattern Representation -- Extending AOP Principles for the Description of Network Security Patterns -- Management Patterns for Network Resilience: Design and Verification of Policy Configurations -- A Heuristic Approach for Secure Service Composition Adaptation.- A Strategy for Structuring and Formalising Attack Patterns -- Attack Pattern Recognition through Correlating Cyber Situational Awareness in Computer Networks -- Towards a Penetration Testing Framework using Attack Patterns -- On the use of Design Patterns to Capture Memory Corruption Vulnerabilities -- ‘Weird Machine’ Patterns -- Towards a Simulation of Information Security Behaviour in Organisations -- Security Design Patterns in the MASTER Workbench -- Evaluating the Implications of Attack and Security Patterns with Premortems -- An Overview of Artificial Intelligence Based Pattern Matching in a Security and Digital Forensic Context -- Partitional Clustering of Malware using K-Means -- Dynamic Monitoring of Composed Services -- Where has this hard disk been? : Extracting geospatial intelligence from digital storage systems -- Future Directions for Research on Cyberpatterns. |
Record Nr. | UNINA-9910299049403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|