| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465600603316 |
|
|
Titolo |
COLOG-88 [[electronic resource] ] : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings / / edited by Per Martin-Löf, Grigori Mints |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1990.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VI, 339 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 417 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Mathematical logic |
Philosophy and science |
Artificial intelligence |
Computer programming |
Theory of Computation |
Mathematical Logic and Foundations |
Philosophy of Science |
Mathematical Logic and Formal Languages |
Artificial Intelligence |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Algebraic specified processes and enumerable models -- On conditions of full coherence in biclosed categories: A new application of proof theory -- The use of justification systems for integrated semantics -- An equational deductive system for the differential and integral calculus -- Inductively defined types -- Algorithms for probabilistic inference -- Geometry of interaction 2: Deadlock-free algorithms -- On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions -- ?-Reductions and ?-developments of ?-terms with the least number of steps -- Group-theoretic approach to intractable problems -- On some applications of Heyting-valued analysis II -- Mathematics of infinity -- Gentzen-type systems and resolution rules |
|
|
|
|
|
|
|
|
|
|
|
|
|
part I propositional logic -- On the problem of reducing search in logic program execution -- Correctness of short proofs in theory with notions of feasibility -- A formulation of the simple theory of types (for Isabelle) -- On connections between classical and constructive semantics -- Flow-diagrams with sets -- The resolution program, able to decide some solvable classes -- A structural completeness theorem for a class of conditional rewrite rule systems -- A proof-search method for the first order logic. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISOBSOB006352 |
|
|
Autore |
Rosselli, Amelia |
|
|
Titolo |
Sleep : Poesie in inglese / Amelia Rosseli ; Traduzione e postfazione di Emmanuela Tandello |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910780463603321 |
|
|
Autore |
Del Valle Sandra <1963-> |
|
|
Titolo |
Language rights and the law in the United States [[electronic resource] ] : finding our voices / / Sandra Del Valle |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Clevedon, England ; ; Buffalo, : Multilingual Matters, 2003 |
|
|
|
|
|
|
|
ISBN |
|
1-280-82819-6 |
9786610828197 |
1-85359-644-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (371 p.) |
|
|
|
|
|
|
Collana |
|
Bilingual education and bilingualism ; ; 40 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Language policy - United States |
Linguistic minorities - Legal status, laws, etc - United States |
English language - Political aspects - United States |
Civil rights - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Contents -- Acknowledgments -- Introduction -- Chapter 1. A History of Language Rights: Between Tolerance and Hostility -- Chapter 2. Nativism and Language Restrictions: Echoes of the Past at the End of the Twentieth Century -- Chapter 3. Fulfilling the Promise of Citizenship: English Literacy, Naturalization, and Voting Rights -- Chapter 4. Language Rights in the Workplace: Negotiating Boundaries Within Close Spaces -- Chapter 5. Language Rights in Litigation: Making the Case for Greater Protections in Criminal and Civil Proceedings -- Chapter 6. Bilingual Education: Learning and Politics in the Classroom -- Chapter 7. Native American Education: The US Implements an English- Only Policy -- Chapter 8. Due Process and Governmental Benefits: When English-Only is Enough -- Chapter 9. Commerce and Language Minorities: Remaking Old Laws for New Consumers -- Chapter 10. The Place of International Law in Promoting Linguistic Human Rights Within the United States -- Appendix: Title VI of the Civil Rights Act of 1964 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book is provides a comprehensive review of the legal status of minority languages in the U.S. It also provides the historical and |
|
|
|
|
|
|
|
|
|
|
political context for the legal manoeuvring that culminated in landmark civil rights victories. All of the major cases in the U.S. concerning language rights are discussed in detail and in an easily accessible manner to the non-legal audience. The topics range from the English-only movement to consumer law, employment discrimination to international law. |
|
|
|
|
|
| |