Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

Computer Science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computation by Abstract Devices. --- Computer science. --- Software engineering. --- Logic design. --- Informatique --- Génie logiciel --- Structure logique --- Engineering & Applied Sciences --- Computer Science --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Mathematical logic. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software --- Machine theory. --- Compilers (Computer programs). --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Compilers and Interpreters. --- Theory of Computation. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Unlike contemporary literary-linguistic configurations of genre, current methodologies for the study of the Gospel genre are designed only to target genre similarities not genre differences. This basic oversight results in the convoluted discussion we witness in Lukan genre study today. Each recent treatment of the genre of Luke-Acts represents a distinct effort to draw parallels between Luke-Acts and a specific (or multiple) literary tradition(s). These studies all underestimate the role of literary divergence in genre analysis, leveraging much—if not, all—of their case on literary proximity. This monograph will show how attention to literary divergence from a number of angles may bring resolution to the increasingly complex discussions of the genre(s) of Luke-Acts.

Bible. --- Criticism, interpretation, etc.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Unlike contemporary literary-linguistic configurations of genre, current methodologies for the study of the Gospel genre are designed only to target genre similarities not genre differences . This basic oversight results in the convoluted discussion we witness in Lukan genre study today. Each recent treatment of the genre of Luke-Acts represents a distinct effort to draw parallels between Luke-Acts and a specific (or multiple) literary tradition(s). These studies all underestimate the role of literary divergence in genre analysis, leveraging much—if not, all—of their case on literary proximity . This monograph will show how attention to literary divergence from a number of angles may bring resolution to the increasingly complex discussions of the genre(s) of Luke-Acts.

Bible. --- Bible. --- Criticism, interpretation, etc. --- Criticism, interpretation, etc.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In Christian Origins and Greco-Roman Culture , Stanley Porter and Andrew Pitts assemble an international team of scholars whose work has focused on reconstructing the social matrix for earliest Christianity through the use of Greco-Roman materials and literary forms. Each essay moves forward the current understanding of how primitive Christianity situated itself in relation to evolving Hellenistic culture. Some essays focus on configuring the social context for the origins of the Jesus movement and beyond, while others assess the literary relation between early Christian and Greco-Roman texts.

Christianity --- Church history --- Christianity and culture --- Origin. --- History --- Greece --- Rome --- Civilization. --- Christianisme --- Christianisme et civilisation --- Origines --- Bible. --- Criticism, interpretation, etc. --- 27 "00/04" --- Kerkgeschiedenis--?"00/04" --- Apostolic Church --- Church, Apostolic --- Early Christianity --- Early church --- Primitive and early church --- Primitive Christianity --- Fathers of the church --- Great Apostasy (Mormon doctrine) --- Church --- Origin --- Foundation --- Origines. --- Christianity - Origin. --- Church history - Primitive and early church, ca. 30-600. --- Christianity and culture - History - Early church, ca 30-600 --- Greece - Civilization. --- Rome - Civilization. --- Grèce --- Civilisation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

What was the relationship of ancient education to early Christianity? This volume provides an in-depth look at different approaches currently employed by scholars who draw upon educational settings in the ancient world to inform their historical research in Christian origins. The book is divided into two sections: one consisting of essays on education in the ancient world, and one consisting of exegetical studies dealing with various passages where motifs emerging from ancient educational culture provide illumination. The chapters summarize the state of the discussion on ancient education in classical and biblical studies, examine obstacles to arriving at a comprehensive theory of early Christianity's relationship to ancient education, compare different approaches, and compile the diverse methodologies into one comparative study. Several educational motifs are integrated in order to demonstrate the exegetical insights that they may yield when utilized in New Testament historical investigation and interpretation.

Christian education --- Education --- 225.08*9 --- Church history --- Teaching --- History --- History. --- Theologie van het Nieuw Testament: relatie met het hellenisme --- Church and education --- Education, Ancient. --- 225.08*9 Theologie van het Nieuw Testament: relatie met het hellenisme --- Christian education - History - Early church, ca. 30-600. --- Education - History.